devPrivates rework: put back a comment that was mistakenly removed
during merge conflict resolution.
This commit is contained in:
parent
2d17f47cc7
commit
5b0dfb73ca