6 Nov
2025
6 Nov
'25
10:41 p.m.
Hi, As you may or may not know, I have two Arti MRs which are approved but not merged: https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/3432 https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/3439 Could those two MRs please be merged? I hope you have a great day/evening. Best, Neel Chauhan