Le samedi 09 mai 2020 à 09:19 -0300, David Bremner a écrit :
> Julien Puydt writes:
>
> > Well, that will be something to check when we'll have a fixed
> > package
> > (be it with a patch or a new upstream version).
> >
> > And if it doesn't fix everything, that will be something to
> > investig
Julien Puydt writes:
>
> Well, that will be something to check when we'll have a fixed package
> (be it with a patch or a new upstream version).
>
> And if it doesn't fix everything, that will be something to
> investigate.
Sure, I don't want to discourage people from fixing bugs. On the other
h
Le samedi 09 mai 2020 à 09:04 -0300, David Bremner a écrit :
> Julien Puydt writes:
>
> > I forwarded the problem upstream :
> >
> > https://github.com/wbhart/flint2/issues/699
> >
> > I'll update the package when a fix will be available.
> >
> > Thanks for you report : a problem notification
Julien Puydt writes:
> Hi,
>
> I forwarded the problem upstream :
>
> https://github.com/wbhart/flint2/issues/699
>
> I'll update the package when a fix will be available.
>
> Thanks for you report : a problem notification with a simple test case,
> it's just wonderful!
>
By the way, I currently
Hi,
I forwarded the problem upstream :
https://github.com/wbhart/flint2/issues/699
I'll update the package when a fix will be available.
Thanks for you report : a problem notification with a simple test case,
it's just wonderful!
Cheers,
JP
5 matches
Mail list logo