On Fri, Aug 7, 2020 at 8:46 AM Jürgen Purtz <juer...@purtz.de> wrote:
> > On 06.08.20 10:12, David G. Johnston wrote: > > On Thu, Aug 6, 2020 at 12:18 AM Jürgen Purtz <juer...@purtz.de> wrote: > >> >> > Why? >> >> Because it can hinder the learning process. > > > > Such a "make current" patch that covers this complaint seems reasonable; > IOW, why not if you are in there anyway - rtree has some baggage and no > particular merit such that a different label would be worse. > > > Patch with four additional comments and one modified comment attached. > Works for me. David J.
