Completed
Pull Request — master (#537)
by Claus
28s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Markus Mächler  
Merge ef96e2d930d7a424488beecdec745d585bdc0f84 into a2c050391df8e1256eb1ac376af83037c44240d3
2 more commits
Base
Christian Kuhn  
[TASK] Move from travis to github actions (#563)