Great, thanks!
El jue., 2 jul. 2020 16:53, Frediano Ziglio escribió:
> Yes, tested and merged, sorry it got lost
>
> Thanks
> Frediano
>
>
> Hi there.
>
> Is there any option to get this fix into spice-html5 code?
>
> Thanks in advance.
>
>
>
> El jue., 28 may. 2020 a las 13:33, Oliver Gutierr
Hi there.
Is there any option to get this fix into spice-html5 code?
Thanks in advance.
El jue., 28 may. 2020 a las 13:33, Oliver Gutierrez ()
escribió:
> This is a patch to fix the SPICE port feature not being working since the
> change made to use module imports instead of inline loading of