Austin Seipp c8f703f14b docs: fix some automerge fallout
I enabled automerge for #2994, but forgot to actually *push* my changes
before resolving all the conversations, so GitHub insta-merged it.

This just addresses Ilya and Philip's final comments on #2994.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2024-02-09 12:36:28 -06:00
..
2024-02-09 12:36:28 -06:00
2024-02-06 15:03:51 -07:00
2024-02-03 17:21:56 -06:00
2024-02-03 17:21:56 -06:00
2024-01-29 12:16:15 -08:00