diff options
| author | Pierre-Marie Pédrot | 2020-11-18 14:18:50 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-21 00:30:28 +0100 |
| commit | 969bed197026ca18ca1664b60c883ffffd285c6c (patch) | |
| tree | 921e73a67a73bb1e371c638c7e349104eec9c395 /dev | |
| parent | 1a97ab1856ff8a855645d31e5b2bf665f666ca97 (diff) | |
Rename the confusing neutral annotation in CClosure.
The Norm name was confusing enough to have introduced a few kernel
bugs, so it deserved to be changed as suggested in #13274.
Contrarily to what it seemingly meant, it was actually standing
for neutral terms rather than normal ones. I have kept the 4-letter
naming scheme for simplicity and renamed it into Ntrl.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions