Closed njzjz closed 5 months ago
Fix #444.
coverage: 98.289%. remained the same when pulling 57b42136acc51eec97d834ab174308d57d99dee2 on njzjz:typing_extensions-py312 into afebd5dcb49df979167e07e0ba65a8f7c50370c5 on agronholm:master.
Fix #444.