On 28/01/2015 12:21, Markus Armbruster wrote: >> > Patches 1-2 okay. For patch 3 a very similar patch was posted yesterday. > Missed it until now. Yes, it's functionally identical. > > Dear -trivial maintainer, pick whichever you like better :)
Sure -- Markus's is nicer indeed. Paolo
