July 2, 2017
1:23 p.m.
On Sun, Jul 2, 2017 at 11:14 PM, Nick Coghlan <ncoghlan@gmail.com> wrote:
So my question is: are any of our current buildbots running sufficiently recent Linux distros that they actually have this header?
Root AMD64 "Bruce" doesn't currently (Debian Jessie), but the latest stable of Debian (Stretch) should include it, so I could upgrade it if that would help.
ChrisA