On Mon, Aug 29, 2016 at 9:26 PM, Joseph Myers <joseph@codesourcery.com> wrote: > Patches 8 and 11 appear not to have made the mailing list. They are in the web archive.