[cleanup] Follow-up for #777 , update a few missing places for new API#779

Merged

ejgallego merged 1 commit intomainfrom more_clean_io

Jun 10, 2024

+11-22

Commits on Jun 10, 2024

[cleanup] Follow-up for #777 , update a few missing places for new API
ejgallego
committed