Skip to content
  • Thomas Jahns's avatar
    Re-activate work-around. · 2037c5ef
    Thomas Jahns authored
    * While this particular bug was fixed in PGI 20.1 and 20.4 AFAIK,
      it is back now with the 20.11 release.
    2037c5ef