proc: remove irrelevant TODO comment #3891
Merged
Cirrus CI / test
succeeded
Dec 29, 2024 in 7m 14s
Task Summary
Task successfully finished!
Details
✅ 00:06 clone
✅ 01:35 install
✅ 05:30 test
Loading