Zulip Chat Archive

Stream: PR reviews

Topic: Ends of a simple graph #17857

Rémi Bottinelli (Dec 23 2022 at 12:04):

Hey, this PR got two rounds of review by Kyle and looks good to me (fwiw).
I would be happy if it got either more review or ideally merged before Christmas! Thanks

Rémi Bottinelli (Jan 10 2023 at 08:21):

Ping!

Yaël Dillies (Jan 10 2023 at 08:22):

Sorry, I don't think I know enough about the content to judge :frown:

Rémi Bottinelli (Jan 12 2023 at 14:59):

No worry!

Rémi Bottinelli (Jan 30 2023 at 13:44):

I made some minor changes to the PR, and have more changes in another branch, which would probably be too much to add to the present PR.

Last updated: Dec 20 2023 at 11:08 UTC