Bernhard, die Nummerierung ist aber schon konsistent. Neue Buid-Nummern werden rapportiert, wenn eine Aenderung einer Dot-Version erfolgt, jedoch nicht, wenn die DotDot-Version ändert. Das ist konsistent mit der Lizenz-Politik, welche bei einer Dot-Versionsänderung von einem Feature-Release spricht und dafür einen aktiven Update-Vertrag vorsieht. In R5 gabs ja keine Dot-Releases, nur DotDot-Releases (wobei da zwischendurch die Lizenzpolitik inkonsistent gehandhabt wurde, das wurde aber unterdessen glücklichwerweise wieder korrigiert).