Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
minor #10109 Add explanation about prefix decision (greg0ire)
This PR was submitted for the master branch but it was merged into the 4.3 branch instead (closes #10109). Discussion ---------- Add explanation about prefix decision See #9886, I left out reasons related to overhead during compilation steps because that might be too technical. Commits ------- 305879d Add explanation about prefix decision
- Loading branch information