Tue 2020-04-28 22:49:09 UTC, Cactus: > > On 28/04/2020 23:28, 'Bill Hart' via mpir-devel: > > You may be right, but I don't see where your files are in our repo: > > > > https://github.com/wbhart/flint2 > > > > [...] > > > > Perhaps you could open a ticket with your observations on my Flint repo? > > [...] > > I'll ask about this on your repo. > > Brian
Link to the ticket opened by Brian: https://github.com/wbhart/flint2/issues/675 -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/mpir-devel/11f377d9-3e67-460e-a039-5be4cc4daf2a%40googlegroups.com.