Have some down time at the year's end?

[Dominikus Dittes Scherkl via Digitalmars-d]

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.