On 5 January 2013 05:40, Michael Grünewald wrote:
> Hi Mark,
>
> thank you for your feedback!
>
> Mark Linimon wrote:
>> On Fri, Jan 04, 2013 at 11:11:54PM +0100, Michael Grünewald wrote:
>>> The PRs used to be listed by portsmon but I recently
>>> noticed they disappeared. [1]
>> portsmon is runn
Hi Mark,
thank you for your feedback!
Mark Linimon wrote:
> On Fri, Jan 04, 2013 at 11:11:54PM +0100, Michael Grünewald wrote:
>> The PRs used to be listed by portsmon but I recently
>> noticed they disappeared. [1]
> portsmon is running off of a stale mirror of the database. I keep
> forgettin
Hello b.f.
b.f. wrote:
> Michael wrote:
>> 2 months ago I submitted four port updates related to the
>> ocaml/language. The PRs used to be listed by portsmon but I recently
>> noticed they disappeared. [1]
> I didn't see these -- I'll try to resolve at least 173364 and 173453.
that is great, thank
On Fri, Jan 04, 2013 at 11:11:54PM +0100, Michael Grünewald wrote:
> The PRs used to be listed by portsmon but I recently
> noticed they disappeared. [1]
portsmon is running off of a stale mirror of the database. I keep
forgetting to go figure out the new mirror process. I apologize.
mcl
_
Michael wrote:
>Dear FreeBSD community,
>
>2 months ago I submitted four port updates related to the
>ocaml/language. The PRs used to be listed by portsmon but I recently
>noticed they disappeared. [1]
>
>How can I help to let these changes go into our ports tree?
>
>
>The four PRs are
>
>2012/11/0
