On Fri, Jun 15, 2018 at 6:49 AM Alexander Ploumistos <alex.ploumistos@gmail.com> wrote:
By the way, our 32-bit configurations have always been i386 instead of i686?

They are i686, the chroots are named that for historical reasons.

Thanks,
RichardÂ