Have some down time at the year's end?

[Nemanja Boric via Digitalmars-d]

On Friday, 10 February 2017 at 17:15:12 UTC, Dominikus Dittes 
Scherkl wrote:
> On Friday, 10 February 2017 at 14:36:31 UTC, Nemanja Boric 
> wrote:
>> On Friday, 10 February 2017 at 02:42:10 UTC, Andrei 
>> Alexandrescu wrote:
>>> On 02/09/2017 05:03 PM, Daniel Kozak wrote:
>>>> Is this still accurate? I mean if I change some issue to 
>>>> "trivial", is
>>>> there any process which will notify you or your students 
>>>> about it? Or
>>>> are they actively watch this list?
>>>
>>> There is no automation. Thanks! -- Andrei
>>
>> Speaking of the recent discussion of abandoned trivial PRs, 
>> here's
>> the one I submitted PR for, but got 0 attention:
>>
>> https://github.com/dlang/druntime/pull/1675
>>
>> https://issues.dlang.org/show_bug.cgi?id=16470
>
> Hmm. For me seems like you got some comments on your PR but 
> didn't answer. Seems plausible not to include such PR.

You should check the dates ;-).
I got these comments today, only after writing this message.