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 _______________________________________________ tor-dev mailing list -- [email protected] To unsubscribe send an email to [email protected]
