On Tuesday, February 18, 2014 6:00:45 PM UTC+1, Bill Hart wrote: > > Thanks! > > I got notifications of all those patches. Looks great! > > I take it you are ready for me to merge from your repo. > > I think everything in these tickets is already merged, isn't it?
-- 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.