Apologies for the massive git history dump in d-s-commit

[Ghislain Vaillant]

Typed the stupid push command a bit too fast and it was too late.

- Ghis