K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
2011-12-19T15:03:54.000000Z
K 7
svn:log
V 52
Add a workaround (actually, a hack) for bug #13519.

END