Thanks for addressing the issue so quickly! Have a nice week-end. T
On 12/02/2022 13:07, Tiago de Paula Peixoto wrote:
Dear Tanguy, Indeed there was a problem with the impish repository, but it is fixed now. Thank you for letting me know! Best, Tiago
_______________________________________________ graph-tool mailing list -- [email protected] To unsubscribe send an email to [email protected]
