Merge !1305: nits: abort() and #include
1 related merge request: !1327 Update manager branch with the newest changes from master
4 jobs
5 minutes 27 seconds, queued for 1 seconds
Self sign-up has been disabled due to increased spam activity. If you want to get access, please send an email to a project owner (preferred) or at gitlab(at)nic(dot)cz. We apologize for the inconvenience.