Improving trac notifications

Matthew Pickering matthewtpickering at gmail.com
Sun Feb 12 23:04:16 UTC 2017


Cheers Ben!

Matt

On Sun, Feb 12, 2017 at 10:57 PM, Ben Gamari <ben at well-typed.com> wrote:
> Matthew Pickering <matthewtpickering at gmail.com> writes:
>
>> I attach a patch which should improve the notifications.
>>
> I have applied this patch to our Trac 1.2 installation.
>
> Cheers,
>
> - Ben


More information about the ghc-devs mailing list