Andrea Crotti <andrea.crott...@gmail.com> writes:

> Is the patch already pushed to master then?

It is now.

Thanks for the heads up!

-- 
 Bastien

Reply via email to