On 25 Aug 2018, at 00:51, Hans Wennborg wrote:
>
> On Wed, Aug 22, 2018 at 10:33 PM, Dimitry Andric wrote:
>> On 22 Aug 2018, at 18:45, Hans Wennborg wrote:
>>>
>>> On Wed, Aug 22, 2018 at 3:48 AM, Dimitry Andric wrote:
On 22 Aug 2018, at 05:58, Wei Mi wrote:
...
> Sorry I missed th
On 23 Aug 2018, at 01:59, Hans Wennborg via Release-testers
wrote:
>
> 7.0.0-rc2 was just tagged (from branch revision r340437).
>
> There have been a bunch of merges since rc1, and hopefully many of the
> issues with the previous candidate are fixed in this one.
By reverting r323281 locally,
