Merge branch 'fix-weird-git-issue' into unstable

Had a rebase go wrong, and the commit showed with git show but not in git log and could not be pushed.
A git checkout of the commit hash put us in detached state and allowed to create a new branch which
 could then be merged into this one.
This commit is contained in:
Tristan PILAT 2019-05-02 15:28:26 +02:00
commit d9581d3696

Diff Content Not Available