Skip to content

Improvements in Close() - #250

Merged
josesimoes merged 2 commits into
mainfrom
improve-close
Sep 24, 2026
Merged

Improvements in Close()#250
josesimoes merged 2 commits into
mainfrom
improve-close

Commits

  1. Commits on Sep 24, 2026