Zulip Chat Archive
Stream: triage
Topic: PR !4#18679: DO NOT MERGE! test: latest import script
Random Issue Bot (Apr 10 2025 at 14:14):
Today I chose PR #18679 for discussion!
DO NOT MERGE! test: latest import script
Created by @damiano (@adomani) on 2024-11-05
Labels: WIP, merge-conflict, t-linter
Is this PR still relevant? Any recent updates? Anyone making progress?
Mario Carneiro (Apr 10 2025 at 14:49):
@Damiano Testa can this be closed?
Damiano Testa (Apr 10 2025 at 15:04):
Yes, thanks, I just closed it!
Last updated: May 02 2025 at 03:31 UTC