diff options
| author | Anthony Roussel <anthony@roussel.dev> | 2023-11-15 00:05:07 +0100 |
|---|---|---|
| committer | Anthony Roussel <anthony@roussel.dev> | 2023-11-15 15:14:28 +0100 |
| commit | deae39af435a3088be677dbeb88a0167fd4682c4 (patch) | |
| tree | a6f6ae7d577f57042fe7ba0129089604e24d3856 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 252d793e792eff90b11e97d03251daf65e5e506c (diff) | |
nixos/plantuml-server: use jetty_11
PlantUML Server does not support Jetty versions higher than 12.x.
Jetty 12.x has introduced major breaking changes, see
* https://github.com/jetty/jetty.project/releases/tag/jetty-12.0.0
* https://eclipse.dev/jetty/documentation/jetty-12/programming-guide/index.html#pg-migration-11-to-12
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions