Subject: Re: Re: bug#3888: Some variables get the wrong, platform-specific, documentation

From: Chong Yidong <[email-masked]>
Date: Mon, 20 Jul 2009 17:33:28 -0400

As a work-around, I changed the affected doc-strings so that the
different versions all say the same thing.  Eli, could you check if this
works OK on Windows?

Right now, this change is only on the branch.  I'll check this into the
trunk, at a later date, only if we can't come up with a better solution.