Closed TeXitoi closed 6 years ago
Also use std::ptr::NonNull for better abstraction.
std::ptr::NonNull
Also use
std::ptr::NonNull
for better abstraction.