On 14/04/2020 15.53, Johannes Kastl wrote:
On 14.04.20 at 15:20 Gerald Pfeifer wrote:
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)