Dear members,
I fininshed the minutes draft, pushed for review, you know where.
I did all approved merges and now there is a new draft PR
for editor revision 2025-07-10 and your reviewing prelasure.
I left some ellipsis checkbox items in the PR description
in case I manage to create smaller content or toolish
fixes. These will be made available as separate PRs
targeting the editor-revision-2025-07-10 branch.
Larger new proposed changes resolving reported issues
I will provide also as separate PRs, but those will target main
due to technical reasons. When, after the next meeting
we approve to merge the editor-revision-2025-07-10
into main, then I will branch off of the then new main a
new editor-revision-2025-08-07 branch and retarget all
of the separate PRs to go into this new editor revision.
I made one error, reverted, and remerged today going directly
into main first, sorry for that. But it should be clear
what and where to I merged all approved changes.
PS: I amended the two PRs as per the (amended) motions before
merge into the June editor revision..
Thanks.
All the best,
Stefan.