Rebasing of PRs

[Nicholas Wilson]

On Friday, 9 November 2018 at 21:16:47 UTC, Walter Bright wrote:
> On 11/9/2018 1:49 AM, Nicholas Wilson wrote:
>> Some of you may have noticed that I have been merging a lot of 
>> Old PRs recently.
>> 
>> Due to some old CI bugs and other bitrot and PRs merged, many 
>> outstanding PRs need a rebase.
>> 
>> If you have an open PR in dmd or druntime marked `needs 
>> rebase` (if they're really old it may be better to close it 
>> and open a new one, it will be a long time before the CI gets 
>> to it) or a dlang.org PR that is not green, please do me a 
>> favour and rebase it and ping me when you do.
>
> Could you please mark the ones you plan to merge with the "72 
> hr" tag beforehand?

Sorry about that one. Stefan said he wanted to take a look at it 
and there were another few PRs also on auto merge.