Leo Famulari skribis:
> On Sun, Dec 04, 2016 at 11:17:12AM +0100, Ricardo Wurmus wrote:
>>
>> Marius Bakke writes:
>>
>> > Pushed to staging anyway!
>>
>> Just a note: the original plan was to freeze staging on November 30 and
>> merge on December 7 (Wednesday). I think it’s time to actually
On Sun, Dec 04, 2016 at 11:17:12AM +0100, Ricardo Wurmus wrote:
>
> Marius Bakke writes:
>
> > Pushed to staging anyway!
>
> Just a note: the original plan was to freeze staging on November 30 and
> merge on December 7 (Wednesday). I think it’s time to actually freeze
> staging now.
Is there