> On 28 Jul 2018, at 6:15 pm, dan d. wrote:
>
>
> I brought this up recently and was told to do a "pull request".
>
> I have no experience with such things.
>
> On the web they seem to be contributions of new or branches of ports and not
> updating existing ports.
What exactly are you look
I brought this up recently and was told to do a "pull request".
I have no experience with such things.
On the web they seem to be contributions of new or branches of ports and not
updating existing ports.
Advising the port maintainer of a request was also suggested on the web, I have
done so