14 Apr
2020
14 Apr
'20
13:59
On 14/04/2020 15.53, Johannes Kastl wrote:
On 14.04.20 at 15:20 Gerald Pfeifer wrote:
As an aside, Jump is an awful name, since it's a way too common of a word in the English language to build any reasonable branding around it.
Isn't Jump more like $JUMP, its actual name to be determined?
We should decide on a sensible name very soon, otherwise Jump will be mentioned in dozens of places already... :-(
I think it is a very bad idea to change names, Yet another Time. -- Cheers / Saludos, Carlos E. R. (from 15.1 x86_64 at Telcontar)