Wechseln zu:Navigation, Suche
Wiki

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

{{rel2dec|11.8.5}} → 11.0805