Completed
Pull Request — develop (#703)
by Wachter
13:29
created

No notable changes

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

9.6
▶   ± 0
Head
Johannes Wachter  
Merge 80fa10daa5d935bd66d7b484be1c65c71114cd53 into 98250b3f4ed492daa1fd735f859680cc46d3d607
1 more commit
Base
Thomas Schedler  
updated dependencies