Bug#858406:
Nicholas Brown <[email protected]>
| Newsgroups | gmane.linux.debian.apt.devel |
|---|---|
| Message-ID | <CA++smEL69BzAjiZb6mAaExyO6VdMPDf_-9iK-P0OgAwYqZ-RrA__48799.9976192199$1753353813$gmane$org@mail.gmail.com> |
The proposal to define a `pinmark: ` in an apt sources file may have some overlap with the proposal to define a `pin-priority: ` directly in an apt sources files in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=839403