Date
2019-03-15.00:00:00
Message id
10362

Content

[ 2019-03-17; Daniel comments and provides wording ]

Due to an editorial step, the previous name node_handle/node_handle has been replaced by the artificial node-handle name, so I see no longer any reason to talk about a name node_handle reservation. The provided wording therefore only takes care of the private members.