Just FYI, on these lists, we'd prefer it if you wouldn't top-post.

* Charles Clavadetscher ( wrote:
> Yes, of course. I will take care of that and send a new patch.


> Who will then git push it?

I'd be happy to take care of it, though any of the committers may pick
it up, of course.  If there's a concern about the patch being missed or
forgotten then it can be added to the commitfest system (here:  I don't believe there's a risk of
that here, but you're welcome to add it if you'd like, of course.

> Thank you for your feedback.

Thank you for working on this!


Attachment: signature.asc
Description: Digital signature

Reply via email to