21 Aug
2019
21 Aug
'19
8:50 p.m.
From: Simon Wunderlich sw@simonwunderlich.de Date: Wed, 21 Aug 2019 15:30:14 +0200
here is a pull request with Erics bugfix from last week which we would like to have integrated into net. We didn't get anything else, so it's a short one this time. :)
Please pull or let me know of any problem!
Pulled, thanks Simon.