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

Re: [tlaplus] Next release?

Hi Markus,
I'm running the toolbox on Debian Stretch.
If I remember correctly this is not in the list of supported platforms.
Am I correct?


On 03/22/2017 08:13 AM, Markus Alexander Kuppe wrote:
> 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