On Tue, Sep 17, 2019 at 5:18 AM David Fetter <david@fetter.org> wrote: > It's not done by pull request at this time. Instead, it is done by sending > patches to this mailing list.
Dear all
You will find enclosed the patch that extends the range type operators so they cope with elements.