[PATCH] Add to documentation of Python 'dont_repeat' method

[Tom Tromey]

>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:

>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:
Tom> PR python/28533 points out that the Python 'dont_repeat' documentation
Tom> is a bit ambiguous about when the method ought to be called.  This
Tom> patch spells it out.

> Ping.

Ping again.

Tom