Done. It went into SLIDE_2_0_RELEASE_BRANCH because I considered it a bugfix.
Oliver volunteered to merge SLIDE_2_0_RELEASE_BRANCH -> HEAD on a regular basis for next one or two weeks. So, should be in HEAD in a while.
Merged.
Oliver
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
