On 2019/10/07 01:25, Jeremie Courreges-Anglas wrote:
> 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
>
Works on amd64, aarch64. ok
No comments:
Post a Comment