Skip to content

CI: Pin ghostscript to 9.54.0 for docs - #2783

Merged
seisman merged 1 commit into
mainfrom
pin-gs-9540
Oct 31, 2023
Merged

seisman merged 1 commit into
mainfrom
pin-gs-9540

Commits

  1. Commits on Oct 31, 2023