Das Debian-Projekt hat knapp vier Monate nach dem letzten Update die fünfte Aktualisierung des stabilen Distributionszweiges 9 »Stretch« herausgegeben.
Ich würde das anders umschreiben:
"Das Debian-Projekt hat die fünfte Aktualisierung seiner Installations-ISOs herausgegeben, in die inzwischen erfolgten Aktualisierungen des stabilen Distributionszweiges 9 »Stretch« eingearbeitet wurden."
Die Distribution wird ja kontinuierlich aktualisiert. Die Installationsmedien werden jedoch nur alle paar Monate auf den neuesten Stand gebracht.
Das ist eine Zwischenveröffentlichung mit eigener Versionsnummer (9.5), also ist das schon richtig beschrieben. Auch wenn es, wo ich dir Recht gebe, eigentlich eher ein Schnappschuss ist.
Ich würde das anders umschreiben:
"Das Debian-Projekt hat die fünfte Aktualisierung seiner Installations-ISOs herausgegeben, in die inzwischen erfolgten Aktualisierungen des stabilen Distributionszweiges 9 »Stretch« eingearbeitet wurden."
Die Distribution wird ja kontinuierlich aktualisiert. Die Installationsmedien werden jedoch nur alle paar Monate auf den neuesten Stand gebracht.
Aber auch die Version in /etc/debian_version wird durch Upgrades hochgesetzt, würde also schon von Versions-Aktualisierung sprechen.
Das ist eine Zwischenveröffentlichung mit eigener Versionsnummer (9.5), also ist das schon richtig
beschrieben. Auch wenn es, wo ich dir Recht gebe, eigentlich eher ein Schnappschuss ist.