Skip to content

Firedrake meeting 2026 06 23

India Marsden edited this page Jun 16, 2026 · 7 revisions

Date and time 2026-06-16 1600 UTC+1

Action Items

  1. Pick Chair and Minuter (LC to pick)
  2. ALL: (ongoing) triage the open issues and confirm if they are indeed still open (and perhaps provide labels)
  3. ALL: do things with SV's branches
  4. DH: Email to Andreas to have 2 (+ others!!!) loopy PRs merged TODO: FIND OUT WHICH PRS THESE ARE
  5. DH: Talk to GregVernon about PR#2116.
  6. JHC: New manual release

Agenda

Present:

Apologies:

Merge PRs

Date of next meeting

1600 UTC+0100 2026-06-23

Clone this wiki locally