Closed bader closed 3 months ago
multi_pointer -> multi_ptr
Editorial, please merge @gmlueck
Merging as editorial.
multi_pointer -> multi_ptr