GitLab

this branch was originally forked off an old git repository from when we
were still on CVS. it was never rebased properly off the new repository
and therefore had a complete duplicate of the history, so I had to
delete the branch and reimported it as a single patch since it's not so
big.