As far as I can tell we weren't waiting for anything else to be done, so I've
merged to master and pushed.

Can we do a dev release today?

hdp.

Reply via email to