By the way, it appears that the Dante Firmware Update Manager is no longer supported (and doesn't work in OSX 10.15), and we should be using the Dante Updater from within Dante Controller instead (under the View menu). Although, it's not clear to me from a quick look how one goes about updating from a file, so perhaps we need to get our firmware uploaded to Audinate's library before this will work.
