[*] History correction
assigned to @p.const
added 2 commits
Compare with previous version
merged
mentioned in commit d90b10b2