Closed fraunhofer-iis-bot closed 1 year ago
In GitLab by @Michael-M-Baron on Jan 13, 2021, 10:34
changed target branch from master
to dev
In GitLab by @Michael-M-Baron on Jan 13, 2021, 11:47
added 1 commit
In GitLab by @Michael-M-Baron on Jan 13, 2021, 12:19
added 1 commit
In GitLab by @Michael-M-Baron on Jan 13, 2021, 14:21
approved this merge request
In GitLab by @Michael-M-Baron on Jan 13, 2021, 14:21
marked this merge request as ready
In GitLab by @cstender on Jan 13, 2021, 16:56
mentioned in commit d147c15d90ac56a6a88d86c73dc003056d06a063
In GitLab by @Michael-M-Baron on Jan 13, 2021, 10:32
Merges 34-enable-reuse-of-server-socket -> dev
Closes #34