Vidrio for Mac v1.19: a bug-fix

01 Jul 2020

This was a small bug-fix release! Nothing to see here.