Subject: font breakage, square boxes

From: Royce Strange <[email-masked]>
Date: Wed, 10 Jun 2020 09:44:19 -0500

Hello.

Bradley Haggerty said that the fix provided by Tobias Geerinckx-Rice
worked for him.

Closing.