>>>>> On Wed, 13 Sep 2017 18:35:29 +0200, Emmanuel Kasper <manu at debian.org> said: > I suppose we also need to rebuild the STRETCH64 base in case you haven't > done it yet Just done it and put it onto the web. Thanks to reminding me. -- regards Thomas