Rename parsec_add2arena #290
Labels
API Change
Change to the public API, backward incompatible (version major bump)
enhancement
New feature or request
high priority
This is an important feature
Milestone
Original report by me.
This name does not make sense anymore, we should simplify it to something less weird/internal looking as it is part of the user-facing interface.
The text was updated successfully, but these errors were encountered: