Re: [PATCH 0/1] pull request for net: batman-adv 2019-08-21

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.