On Wed, Feb 05, 2020 at 11:45:52PM -0800, Noah Misch wrote:> Would anyone like to fix this? I could add it to my queue, but it would wait> a year or more.
Commit f332241 fixed this.