On Fri, Aug 21, 2020 at 12:00:45PM +0100, Emre Hasegeli wrote:
> I prepared a patch to add <<| and |>> operators for points to
> deprecate the previous ones.
Emre, the CF bot complains that this does not apply anymore, so please
provide a rebase. By the way, I am a bit confused to see a patch
that adds new operators on a thread whose subject is about
documentation.
--
Michael