Zulip Chat Archive
Stream: triage
Topic: issue !4#6335: Generalize `Submodule.ofLe` and its friend...
Random Issue Bot (Jan 22 2024 at 14:05):
Today I chose issue 6335 for discussion!
Generalize Submodule.ofLe and its friends to subobject classes
Created by @Anatole Dedecker (@ADedecker) on 2023-08-03
Labels: enhancement
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Sep 12 2024 at 14:10):
Today I chose issue 6335 for discussion!
Generalize Submodule.ofLe and its friends to subobject classes
Created by @Anatole Dedecker (@ADedecker) on 2023-08-03
Labels: enhancement
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 02 2024 at 14:12):
Today I chose issue 6335 for discussion!
Generalize Submodule.ofLe and its friends to subobject classes
Created by @Anatole Dedecker (@ADedecker) on 2023-08-03
Labels: enhancement
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 08 2026 at 14:16):
Today I chose issue #6335 for discussion!
Generalize Submodule.ofLe and its friends to subobject classes
Created by @Anatole Dedecker (@ADedecker) on 2023-08-03
Labels: enhancement
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Feb 28 2026 at 14:05 UTC