Commit 0c5d54ab authored by Ralf Jung's avatar Ralf Jung

also test 8.7.2; stop testing 8.7.dev as that branch is done now

parent 65e40a46
Pipeline #6844 passed with stage
in 16 minutes and 52 seconds