Merge branch 'devel'
Merge remote-tracking branch 'origin/devel'
Merge remote-tracking branch 'origin/devel'
Merge branch 'devel'
Merge branch 'devel'
Merge branch 'devel'
Merge branch 'devel'
Merge branch 'devel'
Merge branch 'devel'
Merge branch 'devel', final
Update commits.gnu