Am 07.08.2010, 07:33 Uhr, schrieb Michael Elkins:
Alternate version of this patch to ensure the cast is safe.
Looks good to me. -- Matthias Andree