Commit 443d327d authored by Andreas Marek's avatar Andreas Marek

Gitlab CI: update pgi on misnky

parent 07f57c4e