zzz 56beb1aec5 Build: Refresh Debian patches, update release checklist for git

2021-02-14 09:58:56 -05:00

..

0001-path-substitution.patch

…

0002-jetty-compatibility.patch

Build: Refresh Debian patches, update release checklist for git

2021-02-14 09:58:56 -05:00

0003-json-simple-3.patch

Debian: Refresh json patch

2020-12-23 10:18:29 -05:00

series

…