>>>>> "Phil" == Phil Mayers <p.mayers at imperial.ac.uk> writes: Phil> On 09/07/14 14:23, Sam Hartman wrote: >> >> Hi. I have a bug that is manifesting on 32-bit intel but not on >> x86_64. 32-bit Debian wheezy Linux. Sorry.