Re: [PATCH]: BUILD/MINOR listener

[Olivier Houchard]

Hi David,

On Wed, Mar 27, 2019 at 04:13:28PM +0000, David CARLIER wrote:
> Hi Here a little patch proposal.
> 
> Kind regards.

Sounds good ! I pushed it.

Thanks a lot !

Olivier