Zulip Chat Archive

Stream: triage

Topic: PR #4843: feat(dynamics): (semi-)flows, omega limits


view this post on Zulip Random Issue Bot (Nov 30 2020 at 14:22):

Today I chose PR 4843 for discussion!

feat(dynamics): (semi-)flows, omega limits
Created by @Jean Lo (@jlpaca) on 2020-10-31
Labels: awaiting-review

Is this PR still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Kevin Buzzard (Nov 30 2020 at 16:16):

Any recent updates? Yes, there were several pushes to this branch within the last week.

view this post on Zulip Rob Lewis (Nov 30 2020 at 16:22):

Huh, the bot isn't supposed to do that.

view this post on Zulip Random Issue Bot (Dec 03 2020 at 14:21):

Today I chose PR 4843 for discussion!

feat(dynamics): (semi-)flows, omega limits
Created by @Jean Lo (@jlpaca) on 2020-10-31
Labels: awaiting-review

Is this PR still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Kevin Buzzard (Dec 03 2020 at 14:45):

Any recent updates? Yes, there were several pushes to this branch within the last ten days.


Last updated: May 09 2021 at 16:20 UTC