Merge branch 'task/JAL-3796_notarization_no_uninstaller' into develop
authorJalview Development Admin <jalview-dev-owner@jalview.org>
Thu, 28 Jan 2021 14:02:33 +0000 (14:02 +0000)
committerJalview Development Admin <jalview-dev-owner@jalview.org>
Thu, 28 Jan 2021 14:02:33 +0000 (14:02 +0000)

Trivial merge