[tor-dev] Merging "Approved" Arti MRs

[Neel Chauhan via tor-dev <tor-dev@xxxxxxxxxxxxxxxxxxxx>]

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 -- tor-dev@xxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to tor-dev-leave@xxxxxxxxxxxxxxxxxxxx