0.2.4-dev: connect the history of PR #464 by HappyTanuki — the reviewed adaptation in 6bfc0827 is kept (tree unchanged)
This commit is contained in:
commit
86a9c263dc