Given that the concerns I raised were already addressed, of course feel
free to push these two patches!

Ludo’.

Reply via email to