[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?

Giuliano


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
>



bjd2ZkhKalVsRjVaMD0NCj14VURCDQotLS0tLUVORCBQR1AgU0lHTkFUVVJFLS0tLS0NCg==