[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Next release?



On 21.03.2017 19:47, Giuliano Losa wrote:
> Hi Markus, I'm a frequent user of the toolbox I could help with that.
> 
> Giuliano

Hi Giuliano,

thanks for volunteering to help with release testing. There is no
release build yet, but I created the checklist [1]. Please let me know
on what platform you are going to do the testing.

Thanks
Markus

[1]
https://github.com/tlaplus/tlaplus/wiki/TLA--Toolbox-release-build-checklist