Bernhard Schandl

Results 2 comments of Bernhard Schandl

@picobots: yes, we're using this workaround. Didn't observe any problems with it so far.

@picobots @kstenerud I created a PR with this fix. Thanks for the support!