Manuel Friedli ded6fb1b31 Fix the patch for the PID file.		2018-03-09 20:21:34 +01:00
..
gitlab-ce	Fix the patch for the PID file.	2018-03-09 20:21:34 +01:00