Have some down time at the year's end?

[Nemanja Boric via Digitalmars-d]

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