20220512 Plenum: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

5 June 2022

16 May 2022

  • curprev 15:3115:31, 16 May 2022Meier talk contribs 6,374 bytes +6,374 Created page with "= Topics for the Plenum = == Restructuring of Plenum == David: Don't want plenums longer than 1.5h, please keep discussions short. This will be added to the plenum page. =..."