Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
merged branch greg0ire/fix_upgrade_prototype_name_option (PR #5833)
This PR was merged into the 2.1 branch. Commits ------- 6fb4a1b Remove § about prototype_name customization in 2.0 8a347fd fix option name Discussion ---------- Fix upgrade prototype name option
- Loading branch information