Completed
Pull Request — develop (#677)
by Wachter
09:29 queued 54s
created

No notable changes

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

9.6
▶   ± 0
Head
Johannes Wachter  
Merge de60866b17f4539a20ff238a67c32942fbbc7ead into 30cc567354adb141bc220ec597fb9ca02d736265
1 more commit
Base
Thomas Schedler  
updated dependencies