On 07/05/11 08:27, Daniel Shahaf wrote: > Piper, Nick wrote on Sat, May 07, 2011 at 05:00:05 +0000: >> I've attached a script which reproduces the problem in a minimal way. > > The attachment never made it to the list... > > (bad MIME type?)
Sorry for that, a copy is now at https://gist.github.com/960478 Nick Think green - keep it on the screen. This e-mail and any attachment is for authorised use by the intended recipient(s) only. It may contain proprietary material, confidential information and/or be subject to legal privilege. It should not be copied, disclosed to, retained or used by, any other party. If you are not an intended recipient then please promptly delete this e-mail and any attachment and all copies and inform the sender. Thank you.