Merge branch 'develop' into fix/deprecation-warning-welcome-message
authorMark Felder <feld@FreeBSD.org>
Fri, 25 Sep 2020 16:45:51 +0000 (11:45 -0500)
committerMark Felder <feld@FreeBSD.org>
Fri, 25 Sep 2020 16:45:51 +0000 (11:45 -0500)

Trivial merge