Skip to content

pmb.config.pmaports: Get rid of cast hack for SectionProxy

Newbyte requested to merge newbyte/cast-hack-begone into master

For some reason this also requires a fix in pmb.install._install.py, didn't bother investigating why but the necessary change seems fine to me.

Requires mypy 1.14 (maybe 1.14.1, not sure).

Merge request reports