Re: [Hyperbole-users] Conflict with page-ext

[Robert Weiner]

We have added a change to the next release of Hyperbole that fixes this
problem whether or not page-ext is patched as suggested in the prior
message.

Bob