Zulip Chat Archive
Stream: triage
Topic: PR #5924: chore(data/dfinsupp): Add sum_hom
Random Issue Bot (Apr 14 2021 at 14:23):
Today I chose PR 5924 for discussion!
chore(data/dfinsupp): Add sum_hom
Created by @Eric Wieser (@eric-wieser) on 2021-01-27
Labels: WIP
Is this PR still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Oct 01 2021 at 16:49):
Today I chose PR 5924 for discussion!
chore(data/dfinsupp): Add sum_hom
Created by @Eric Wieser (@eric-wieser) on 2021-01-27
Labels: WIP, merge-conflict
Is this PR still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Oct 01 2021 at 19:05):
Hello random issue bot! I've not seen you around for ages!
Bryan Gin-ge Chen (Oct 01 2021 at 19:09):
Kevin Buzzard said:
Hello random issue bot! I've not seen you around for ages!
azure-scripts#11 :wink:
Random Issue Bot (Jun 02 2022 at 14:24):
Today I chose PR 5924 for discussion!
chore(data/dfinsupp): Add sum_hom
Created by @Eric Wieser (@eric-wieser) on 2021-01-27
Labels: WIP, merge-conflict
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC