On Fri, Jul 12, 2024 at 6:19 AM Gerwin Klein via Devel
The Technical Steering Committee (TSC) of the seL4 Foundation will hold its next public meting on:
s/meting/meeting, looking back I notice the same typo me[e]ting in the previous TSC announcement. So presumably this typo needs to be fixed in a meeting announcement template.
- bump version of cmake-format (will break current formatting) to reduce python dependency hell
If there are other items that I missed or you think should be on the agenda, please let me know. If we can't get to an item this time, we can still schedule another meeting.
This item reminded me that in spring of next year end of standard support for ubuntu 20.4, along with that there are some versions which would be nice to bump, (I'm particularly interested in bumping cmake itself). I at least hope to have a look into what bumping that version enables. But curious if this could or should be done as part of a more coordinated effort to bump dependencies across the board at that time.