Merge branch 'dev'

This commit is contained in:
Jeremy 2024-03-20 22:08:33 -05:00
commit 411fdff8fa
No known key found for this signature in database
GPG Key ID: 19AA8270105E8EB4

View File

@ -455,9 +455,11 @@ namespace detail {
}
inline void file_deleter(std::FILE* ptr) {
if(ptr) {
fclose(ptr);
}
}
}
}
#endif