Tue, 05 Dec 2017 00:11:48 +0100merged
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 05 Dec 2017 00:11:48 +0100] rev 27
merged

Fri, 01 Dec 2017 08:19:47 +0000Use newer binutils.
Paul Beltyukov <beltyukov.p.a@gmail.com> [Fri, 01 Dec 2017 08:19:47 +0000] rev 26
Use newer binutils.