We "frozen", although so far there is no divergence between release and
master. I took the liberty of pushing two tiny patches updating the
version(s) and the corresponding debian changelog.

Pragmatically what this means is that if you want something to go into
0.15, you need to push for that, and do it pretty soon.  

We also need need a few NEWS items, not least for the new dump/restore
and batch tagging features.

d