Stefan Beller Fri, 25 Jan 2019 11:42:51 -0800
I see it is fixed in https://public-inbox.org/git/[email protected]/ but not in 2722d068deb (SQUASH???, 2019-01-18)
