Closed hadley closed 1 year ago
Fixes #275
@lawremi this idea and implemented seemed simple enough that I just implemented it. Do you think this needs to be discussed with the committee before merging?
Was reviewed and approved at OOP-WG meeting on 2023-09-11.
Fixes #275
@lawremi this idea and implemented seemed simple enough that I just implemented it. Do you think this needs to be discussed with the committee before merging?