Hey folks, Petr Mladek writes:
I am sorry for the delay. I waited for a patch with reasonable commit message from Chris. I did it myself after all.
My sincere apologies for the delay. I had it in my calendar to do yesterday afternoon, but ended up with no time left :-(
Thanks Petr for pushing them, and sorry for the trouble caused.