Wechseln zu:Navigation, Suche
Wiki

Wandelt eine Release-Nummer in eine Dezimalzahl um.
Das ermöglicht das Vergleichen von Release-Nummern.

11.8.5 → 11.0805