Closed rainman110 closed 10 months ago
In GitLab by @mariusalexander on Nov 25, 2022, 08:55
added 1 commit
In GitLab by @mariusalexander on Nov 25, 2022, 09:24
added 1 commit
In GitLab by @mariusalexander on Nov 25, 2022, 09:32
@rainman110 I think this is fixed :+1:
In GitLab by @mariusalexander on Nov 29, 2022, 08:27
marked this merge request as ready
In GitLab by @rainman110 on Dec 16, 2022, 14:19
Did you try a test Tag release?
In GitLab by @mariusalexander on Dec 16, 2022, 14:28
Not yet
In GitLab by @mariusalexander on Dec 16, 2022, 14:30
I have created a test tag
In GitLab by @rainman110 on Dec 19, 2022, 09:27
approved this merge request
In GitLab by @mariusalexander on Dec 19, 2022, 10:30
mentioned in commit 4efb913ac082f6bdd9e95dedb586ff347e3a68c8
In GitLab by @mariusalexander on Nov 25, 2022, 08:47
Merges 37-fix-deployment-of-header-files -> master
Closes #37