GitLab

This is a weave merge, but without any conflicts.
In 14 source files, the copyright year needed to be updated to 2012.