On Wed, Dec 11, 2019 at 10:38 AM Ard Biesheuvel <ard.biesheuvel@xxxxxxxxxx> wrote: > > On Wed, 11 Dec 2019 at 10:27, Jason A. Donenfeld <Jason@xxxxxxxxx> wrote: > > > > Somehow this was forgotten when Zinc was being split into oddly shaped > > pieces, resulting in linker errors. > > Zinc has no historical significance here Wow...