** Operator

[Christoph Zwerschke]

Christoph Zwerschke wrote:
> Christoph Zwerschke wrote:
>> Kent Johnson wrote:
>>> The way to make this change happen is to submit a bug report with 
>>> your suggested change. See the link at the bottom of the above page 
>>> to find out how.
>>
>> I know, but I wanted to see at least one person assenting before doing 
>> so. Anyway, I took your words as assent and filed a bug report now ;-)
> 
> ... which was promptly rejected.

... but now it has been checked in by somebody else anyway. The Python 
gods sometimes move in mysterious ways ;-)

-- Christoph