Commit 502971cc23e0ebb2677124b41b70c321c6dd5c02

Nick Wellnhofer 2023-12-01T17:49:48

tree: Another fix related to #538 Should fix #639.