Paul wrote: Looks harmless to me. James?
#180 has a benefit for GCC 5.4, and won't affect any of our other
Manual editors can update the manual too. I will be wgetting it
tomorrow (Wednesday) morning for jc12 whatever state it is in.
Given the testing that jc11 has had, and the spot-testing of
current HEAD, I would hope jc12 can become RC1 on Thursday
get a week's testing, and then be released.
On 2/7/2017 8:05 PM, Steve the Fiddle wrote:
Does this mean that we're not in freeze?
On 7 February 2017 at 19:50, James Crook [hidden email] wrote: