On Sun, Oct 06 2019, Christopher Zimmermann <chr...@openbsd.org> wrote: > Hi, > > I'd rather commit this fix now so that there is a chance to build test > it on different architectures in bulk-builds. OK?
This fixes coq on sparc64, thanks. ok jca@, please get this in before lock. -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
