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

Trivial merge