On Mon, 3 Aug 2015 22:51:55 +0200 Ján Máté jan.mate@inf-it.com wrote:
yes, these are the right zip files
Thanks for the confirmation.
I'd really appreciate using distinct numbers for distinct (pre)releases, even though 42 is the ultimate answer.
I'd also like to repeat my request for adding the version number to the window title, or make an 'about' button or something similar, so it is possible to know/see/find out what version is actually running.
On 03 Aug 2015, at 20:19, Johan Vromans jvromans@squirrel.nl wrote:
Dit wordt verwarrend... Ik draai al een tijd 0.12.1.42. Is dit de goede zip?
I retransmitted the message with english translation, but this was denied by the list software. Any idea what happened? (Not a big deal, just curious.)
-- Johan