Sure. Thanks again. Bill.
On 16 April 2015 at 11:17, Jean-Pierre Flori <jpfl...@gmail.com> wrote: > Great. > Note that I've not updated the configure script accordingly, so you'll > need to regenerate it when issueing th erelease. > > On Wednesday, April 15, 2015 at 6:25:14 PM UTC+2, Bill Hart wrote: >> >> Thanks. As I didn't get to put out an MPIR release during my holidays >> last month, I'm going to try again towards the end of this month. >> >> I've merged your patch into the repository, so it'll end up in the >> release. >> >> Bill. >> >> On 15 April 2015 at 18:16, Jean-Pierre Flori <jpf...@gmail.com> wrote: >> >>> There is an ivyybridge lurking around. >>> It makes compilation fail on Cygwin64 on such CPUs as asm files for >>> Linux are used instead of the Windows ones. >>> >>> Best, >>> JP >>> >>> -- >>> 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+...@googlegroups.com. >>> To post to this group, send email to mpir-...@googlegroups.com. >>> Visit this group at http://groups.google.com/group/mpir-devel. >>> For more options, visit https://groups.google.com/d/optout. >>> >> >> -- > 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 http://groups.google.com/group/mpir-devel. > For more options, visit https://groups.google.com/d/optout. > -- 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 http://groups.google.com/group/mpir-devel. For more options, visit https://groups.google.com/d/optout.
