0.19 release can have revision 5202

[Karl Fogel]

Michael, in case you're not reading every thread, note that Mike
Pilato said:

[EMAIL PROTECTED] writes:
> Oh, Release Manager -- can you put the 5202 change back into the
> release, pretty please?

It's safe again :-).