> Yes, this is annoying. I think --substitute-urls (plural) was > misguided. Instead we should instead have --substitute-url (singular), > which could be repeated several times. That would solve the troubles > with spaces. > > During a transition period we could keep accepting --substitute-urls. > > WDYT?
Sounds good. -- GPG: 7FDE 7190 2F73 2C50 236E 403D CC13 48F1 E644 08EC
