Christophe Fergeau <cfergeau at redhat.com> writes: >> thanks for your review. As I have no write access to the git repo, >> could someone please push these patches for me? > > Hmm I was fairly sure I had pushed them yesterday, seems I stopped after > testing them :( They are pushed now. Thanks! :-) Giuseppe