Andrea Crotti <andrea.crott...@gmail.com> writes: > Is the patch already pushed to master then?
It is now. Thanks for the heads up! -- Bastien
Andrea Crotti <andrea.crott...@gmail.com> writes: > Is the patch already pushed to master then?
It is now. Thanks for the heads up! -- Bastien