bug-fix-in…37638c3040d51192f1402db…

Nov 13 2020

[ci] Extanding the ci:
1ca3bf659e84
·richart on Nov 13 2020, 12:03.
Adding git information to the code
5cc4b76ac4b6
·richart on Nov 13 2020, 12:02.