Message279542
I wouldn't say it's *entirely* Debian-specific. It just bites anyone who actually needs these tags to differentiate between built extensions. (Mostly Debian)
Yes, changing the tag is a more complete solution. It just seemed that that option was decided against, in the relevant PEPs. |
|
Date |
User |
Action |
Args |
2016-10-27 15:48:59 | stefanor | set | recipients:
+ stefanor, doko |
2016-10-27 15:48:59 | stefanor | set | messageid: <1477583339.66.0.85507999928.issue28401@psf.upfronthosting.co.za> |
2016-10-27 15:48:59 | stefanor | link | issue28401 messages |
2016-10-27 15:48:59 | stefanor | create | |
|