Ack, sorry about that. I forgot that we agreed to change the process.
Mea culpa. I suppose now I should cherry pick commits made to master
that have been deployed to the site branch? (And stop doing this in
the future of course :)
Le jeu. 12 juil. 2018 à 17:53, Julian Hyde <[EMAIL PROTECTED]> a écrit :