On Thu, 2 May 2019 at 21:24, Brian Gladman <b...@gladman.plus.com> wrote:
> I have just corrected these in the repository and the build should now > succeed and pass the tests. > Brian, thanks, it works like a dream ... degski -- *Microsoft, please kill Paint3D* -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to mpir-devel+unsubscr...@googlegroups.com. To post to this group, send email to mpir-devel@googlegroups.com. Visit this group at https://groups.google.com/group/mpir-devel. For more options, visit https://groups.google.com/d/optout.
