tree 3b357afbdd18604d7b1bfbd1fbca1293a27e0348
parent 3459e2a453eed9c717ef7c67fd0abf2c246a7500
author Michael Tuexen <tuexen@fh-muenster.de> 1570961897 +0200
committer Michael Tuexen <tuexen@fh-muenster.de> 1570961897 +0200

Integrate changes from r353292 of the FreeBSD tree.