Re: [tlaplus] error trace on assertion failure?

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 04.08.20 07:39, Huaixi Lu wrote:
> I tried the nightly build in mac os, but when I opened the app, an error
> called the app has been damaged poped up, do you know what's wring with
> that?

Hi,

to track this, can you please add your version of macOS to the related
issue on Github [1]?

Thanks,
Markus

[1] https://github.com/tlaplus/tlaplus/issues/320

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/636856a4-69fa-125d-f5f1-4d36a957daf9%40lemmster.de.