New MicroOS snapshot 20230719 released!