On 4/24/21 2:38 AM, Markus Armbruster wrote:
Not mentioned in the commit message: you add a default parameter value. It's not used; there's just one caller, and it passes a value. Intentional?
No. Leftover from an earlier version where it was used. It can be made to always be an explicit parameter now instead.
