Vacation2020.md

@@ -87,7 +87,7 @@ The ticket where our discussions have been happening is: https://gitlab.torproje
 
 # TROVE-2020-005
 
-We have an open low-severity issue tracked as tor/core/tor#40080 (private) and tpo/core/tor#40086 (public).  More thought there would always be valuable.  If it is indeed low-severity, the it's okay to merge it in 044 if you like it and are confident in it. But please be careful: the code is subtle.
+We have an open low-severity issue tracked as tpo/core/tor#40080 (private) and tpo/core/tor#40086 (public).  More thought there would always be valuable.  If it is indeed low-severity, the it's okay to merge it in 044 if you like it and are confident in it. But please be careful: the code is subtle.
 
 # Tor ticket triage