-
trop[bot] authored
Fixes #25626 This is not the greatest workaround but at least it works. Co-authored-by:Samuel Attard <samuel.r.attard@gmail.com>
![trop[bot]'s avatar](https://secure.gravatar.com/avatar/eb5ab90ef2ff8c73b8619578cf4173e059bb017256f373cca68daae232eded1c?s=80&d=identicon "trop[bot]")
Fixes #25626
This is not the greatest workaround but at least it works.
Co-authored-by: Samuel Attard <samuel.r.attard@gmail.com>