Consistently use <optional> to indicate optional parameters

When Who What
2024-11-04 16:42:49 Heikki Linnakangas (heikki) Closed in commitfest 2024-11 with status: Committed
2024-11-04 16:42:49 Heikki Linnakangas (heikki) Changed committer to heikki
2024-10-07 10:39:01 Daniel Gustafsson (d_gustafsson) Changed authors to Dagfinn Ilmari Mannsåker (ilmari)
2024-09-30 08:07:09 Jian He (stayreal) Changed reviewers to Jian He (stayreal)
2024-09-30 08:07:09 Jian He (stayreal) Changed targetversion to stable
2024-09-30 08:06:32 Jian He (stayreal) Attached mail thread CA+TgmoZ2F+K0j=6BOJLD=YfpJMdJRXC7sWmtXGRjx1Rq0x8PUA@mail.gmail.com
2024-09-30 08:06:32 Jian He (stayreal) Created patch record