diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2024-03-23 19:51:32 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-23 19:51:32 -0500 |
| commit | f3e065481d4f6800e1965c7ae4dd4c68a2351e2c (patch) | |
| tree | 992ed554d0f172d0f0660b11633e4c514c414a62 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | af15e7f8e3419ea781f85011a5b43c78e0821c7b (diff) | |
| parent | 32a9f7d3eaacbb38ae5924e82b674f459f21b65d (diff) | |
Merge pull request #298156 from trofi/pin-to-gcc12-if-gcc13-drop
pin-to-gcc12-if-gcc13: drop as it's not used anymore
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions