Completed
Pull Request — develop (#767)
by Wachter
23:02 queued 21:08
created

No notable changes

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

10
▶   ± 0
Head
Johannes Wachter  
Merge 34489624b804b730481707a27a1864ca65dc4440 into 2fd2f655eaa27da2ece838d4998be1b45d22b137
1 more commit
Base
Daniel Rotter  
Merge branch 'master' into develop