@geekdenz opened this Pull Request on September 16th 2021 Contributor

fixes #15892

Description:

Maybe not the ultimate way to fix this, but it is the smallest change I could think of that fixes this bug which should
not impact other functionality as all intentions I could think of are covered.

Review

@geekdenz commented on September 16th 2021 Contributor

build js

@geekdenz commented on September 16th 2021 Contributor

@reviewer The failing tests don't seem to relate but please check.

This Pull Request was closed on September 16th 2021
Powered by GitHub Issue Mirror