The branch 'DEVEL-3.12' was changed in a way that was not a fast-forward update. NOTE: This may cause problems for people pulling from the branch. Commits removed from the branch: 97d72fa... WIP bb78ea5... - updated man pages Commits added to the branch: f044734... - updated to 3.12.0