Michael Banck
|
c2d94ded1d
|
* debian/patches/patroni_service.patch: Removed, and folded into ...
* debian/patches/startup_scripts.patch: ... this.
|
2018-09-28 12:20:08 +02:00 |
|
Michael Banck
|
ce1da1ca62
|
* debian/patches/coverage_binary.patch: Refreshed.
* debian/patches/startup_scripts.patch: Likewise.
|
2018-09-21 11:18:33 +02:00 |
|
Michael Banck
|
1c14a2bb17
|
* debian/patches/startup_scripts.patch: Updated.
|
2018-01-24 07:02:56 +01:00 |
|
Michael Banck
|
180e97b96e
|
Patch startup scripts in-place and install them rather then install a modified copy of them
|
2017-09-14 21:01:58 +02:00 |
|