Changelog for MicroOS-release-20231119-7.1.x86_64.rpm :

* Thu Nov 23 2023 Bernhard Wiedemann - Update from 20231003 to 20231119
* Thu Oct 05 2023 Bernhard Wiedemann - Update from 20231001 to 20231003
* Tue Oct 03 2023 Bernhard Wiedemann - Update from 20230822 to 20231001
* Tue Sep 12 2023 Bernhard Wiedemann - Dummy changelog entry