Paul Eggert Thu, 27 Feb 2020 13:18:23 -0800
On 2/27/20 1:02 PM, Zack Weinberg wrote:
OK for master?
Of course. Routine fixes like this are welcome.