I'm not sure. If I do git fetch from your repo, certainly something hasn't been merged.
Bill. On 18 February 2014 18:17, Jean-Pierre Flori <jpfl...@gmail.com> wrote: > > > 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.