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
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