Skip to content

Petra corrections

Patrick Nonn requested to merge petra_corrections into master

Just some changes/corrections, done to the server during local set-up.

Merge request reports