5.3.2 released, you can commit to master again.
Note that master is now 5.4 and I created a specific branch for 5.3.
On Thu, Jul 5, 2018 at 11:31 AM Guillaume Smet <guillaume.smet(a)gmail.com>
5.3.2 is wrapped up and I'm going to release it this afternoon. Please
don't commit anything to master until I reply to this email to say so.