Commit 15fca489 authored by Andreas Marek's avatar Andreas Marek

Gitlab CI: update pgi on misnky

parent 2f1cd089