On Wednesday 14 June 2017 11:27 PM, Joseph Myers wrote: > This patch is missing an update to install.texi (with INSTALL regenerated) > to reflect the changed default, and a corresponding NEWS entry. Ah yes, sorry, reposted. Siddhesh