I fixed this via
https://public-inbox.org/git/pull.91.git.gitgitgad...@gmail.com/T/#t and
the latest word is that this will be part of v2.20.0-rc2 (which I would
expect before Monday, maybe even tonight).

Reply via email to