On Wed Jul 12 14:18:47 2017, fdupont wrote:
> Could be the time to merge it now?
> (Or we can wait for the Hackathon the 15th?)

I think now is a good time to merge. This is for 9.12 only, I assume?