Closed ger-benjamin closed 7 years ago
Fix: #1104
great! (after conflict fixing ;) )
@ger-benjamin Can you merge it if ok?
@sbrunner Is it okay to merge it into master ?
yes :-)
Fix: #1104