(off-list ancestor, not in this archive)
Re: Something weird is happening... · "H. Peter Anvin" <hpa@zytor.com> · 2016-06-15

Re: Something weird is happening...

From: "H. Peter Anvin" <hpa@zytor.com>
Date: 2016-06-15 22:46:03

Ingo Molnar wrote:

So the repo itself is fine, correct?

Looks like it.

	-hpa