4 Nov
2020
4 Nov
'20
10:10 p.m.
On Wed, 4 Nov 2020 at 21:32, Wolfgang Schuster < wolfgang.schuster.lists@gmail.com> wrote:
4. it performance issues and leads to a noticeable performance drop.
This sounds a bit surprising, since intuitively it takes no less effort to deal with the registered key than to determine that a key is not registered. Sylvain