On Sun, 9 Aug 2015, Kurt Jaeger wrote:
> Hi!
>
> > Ok, got that. As Romain is the maintainer of the port, he needs
> > to approve PR 201883
>
> Technically, after 14 days oe non-action on a PR, the maintainer is
> seen as timed-out for that PR and anyone can commit. This is almost
> the case wi
Hi!
> Ok, got that. As Romain is the maintainer of the port, he needs
> to approve PR 201883
Technically, after 14 days oe non-action on a PR, the maintainer is
seen as timed-out for that PR and anyone can commit. This is almost
the case with that PR.
There are other issues to consider:
1) If t
Hi!
> Please note that I have submitted a patch, which updates Mono to
> 4.0.3.19 in Ports.
>
> The patch is available as a PR here, but has been left untouched for
> quite a while:
>
> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=201883
It helps if you provide the output of
portlint -A
Hi all,
Please note that I have submitted a patch, which updates Mono to
4.0.3.19 in Ports.
The patch is available as a PR here, but has been left untouched for
quite a while:
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=201883
If there is no interest in maintaining this port, I am wi
