Upstream has moved the bug tracker to github, and the issue is now closed: https://github.com/ledger/ledger/issues/1203
The commit is merged in master on 3 Dec 2019: https://github.com/ledger/ledger/commit/12a74c66c6656bbf6a89bfae83b76e3df37d9199 but not yer released (v3.1.3 dates to 31 Mar 2019) I'll ping upstream. Paolo
