On 07/04/2024 00:37, robert engels wrote:
Hi Daniel, Here is a PR which fixes it.
I don't think anyone will be able to look at this PR until the "oca" label is removed. Look for the comment that the bot added about signing the OCA for instructions.
-Alan