On 07/07, Dmitry V. Levin wrote: > > I suggest changing the wording of the commit message as follows: > > [... snip... ] Agreed! and perhaps it makes sense to add a short note (or just a link to the previous discussions) to explain why we can't do the same when op == ENTRY. But this is minor. Oleg.