Bastian Germann Thu, 30 Jun 2022 13:48:18 -0700
Control: forwarded -1 https://github.com/petri-foo/Petri-Foo/pull/43
This is essentially the same patch.