Merge branch 'devel' of ssh://bop-t/users/largo2/git/coriolis into devel

Trying to push on the server *after* a commit --amend.
Failed because non fast-forward on branches.
This commit is contained in:
Jean-Paul Chaput 2016-02-21 11:04:45 +01:00
commit 6970e7e1c4

Diff Content Not Available