Re: [PATCH] {maint} maintcheck: reduce code duplication, increase coverage

[Stefano Lattarini]

On 05/05/2012 02:17 AM, Stefano Lattarini wrote:
>
>  I will push this by tomorrow if there is no objection.
> 
Applied to maint, merged into master, and pushed.

Regards,
  Stefano