🎨 Remove internal "type: ignore", now unnecessary (#2424)

This commit is contained in:
water_lift 2021-02-08 02:15:43 +08:00 committed by GitHub
parent f108741a82
commit f22137346a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

Diff Content Not Available