iviumsoft -> 4.1172
Additional to GitLab CI I tested the update manually. On pebbles.ch.private.cam.ac.uk I first: wpkg-manual install, wpkg-dev install, wpkg-dev remove Then: wpkg-dev install, wpkg-dev remove
The software worked as expected.
As requested by Svetlana Menkin in person.