Re: [PATCH 1/4] Add filter-rtags-warnings.py script.

[Jeff Law]

On 9/23/18 1:16 AM, marxin wrote:
> 
> contrib/ChangeLog:
> 
> 2018-09-24  Martin Liska  <mli...@suse.cz>
> 
>       * filter-rtags-warnings.py: New file.
> ---
>  contrib/filter-rtags-warnings.py | 71 ++++++++++++++++++++++++++++++++
>  1 file changed, 71 insertions(+)
>  create mode 100755 contrib/filter-rtags-warnings.py
> 
OK
jeff