Second try. The second patch is now not really needed (although I
didn't test without it). If omitted, the library docs should probably
be updated.

Reply via email to