Juergen Spitzmueller wrote:
Richard Heck wrote:
Patch fixes bug. Very safe indeed.

Jurgen?
Go for it.
Committed to branch at 20702.

rh

Reply via email to