On 1/5/2022 3:22 PM, Kazuho Oku wrote:
2022年1月6日(木) 9:50 Lucas Pardue <[email protected]>:Erratum sounds good to me. it's an easier aide memoir than a post-it note pointer to a mailing list thread.+1. MT's text looks good to me.
+1. -- Christian Huitema
