On Thu, Jun 18, 2020 at 3:22 PM Ryan Swanson <
ryan.a....@gmail.com> wrote:
>
> Should this work? Is it just limitation of the translator? I was just messing around, trying to port this version
At first glance it seems like it should work. This looks like a bug
in the translation tool. Please open a bug report. Thanks.
Ian