On 14 Feb 2017, at 23:08, Clemens Lang <[email protected]> wrote: > If this isn't sufficient, you can keep an old copy of the port in a local > portfile repository [1], but please don't forget about that if you do it.
It is not, but a local portfile seems to also override a potential upgrade. Any other ways? Should I open a feature request?
