Bug#808634: cadabra in Debian

[Kasper Peeters]

> Maybe you can tag them and push the tags (or just push the tags if you
> already have the tags in your local working copy.

Sorry, forgot to push the tags, now done.

Kasper