[svsm-devel] SVSM Development Call October 30th, 2024 (!!! Check meeting time !!!)

[Jörg Rödel]

Hi,

Here is the usual call for agenda items for this weeks SVSM development
call. Please send me any agenda items you have in mind or raise them in
the meeting.

!!! Note that the meeting is scheduled at European time and the EU already
!!! switched to Winter time. This means that the meeting time will be ONE
!!! HOUR LATER in US time zones. Other non-european time zones, please
!!! make sure to check the calendar as well.

This week we will continue the discussion from last week about the
formal verification efforts.

Details of the meeting (GMeet and Calendar links, meeting time) can be
found in our governance repository at:

	https://github.com/coconut-svsm/governance

The meeting will be recorded and the recording eventually published.

See you all there.

Regards,

	Jörg