Thanks! I got notifications of all those patches. Looks great!
I take it you are ready for me to merge from your repo. Bill. On 18 February 2014 14:33, Jean-Pierre Flori <jpfl...@gmail.com> wrote: > Dear Bill, > > I've commented a bunch of tickets on the bug tracker which from my point > of view are already fixed or should not require any action from MPIR side. > I'm not sure you can easily spot them without going through all tickets, > so just let me know if you need further directions! > > 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+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/groups/opt_out. > -- 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/groups/opt_out.