Skip to content

Make Buffer::write_element non-failable#6613

Merged
MichaReiser merged 1 commit intomainfrom
make-buffer-write-element-non-failable
Aug 16, 2023
Merged

Make Buffer::write_element non-failable#6613
MichaReiser merged 1 commit intomainfrom
make-buffer-write-element-non-failable

Commits

Commits on Aug 16, 2023