Small fixes

Open jaharkes opened this issue 2 years ago • 1 comments

Several smaller fixes split out from a larger type hinting change I'm still working on.

Nov 17 '23 20:11 jaharkes

DCO signed off :heavy_check_mark:

All commits have been signed off. You have certified to the terms of the Developer Certificate of Origin, version 1.1. In particular, you certify that this contribution has not been developed using information obtained under a non-disclosure agreement or other license terms that forbid you from contributing it under the GNU Lesser General Public License, version 2.1.

Nov 17 '23 20:11 openslide-bot