diff options
| author | ajs124 <ajs124@users.noreply.github.com> | 2022-10-21 22:59:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-21 22:59:03 +0200 |
| commit | 3dd1098f45b447333e01c96a47bb254e527e507e (patch) | |
| tree | da0828eb3d4308c779b501f6971a8496012bd089 /pkgs/development/python-modules/rangehttpserver | |
| parent | 1b768f41e9ff7c4c4701811a4a2b22601b55c6f7 (diff) | |
| parent | 18a17d11ff6d201530bc529d65d67ce5940e36cb (diff) | |
Merge pull request #195567 from helsinki-systems/feat/jenkins-jdk17
nixos/jenkins: jdk11 -> jdk17
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions