Committed as revision r246391. Thanks for the quick review.
Dominique > Le 22 mars 2017 à 17:08, Thomas Koenig <tkoe...@netcologne.de> a écrit : > > Hi Dominique, > >> Th attached patch fixes some of the diagnostic issues reported by Roland >> Illig. Ok for trunk? > > Yes, OK. Thanks for the patch! > > Regards > > Thomas
