Ah interesting, I just merged <https://github.com/...
# announce