On Sun, Oct 06 2019, Christopher Zimmermann <chrisz@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
No comments:
Post a Comment