Version 1193 was commited by steve on 2009-09-14 10:03:27 +0100 (Mon, 14 Sep 2009) BRANCH: style The push/pop stuff is not needed anymore (and in fact wasn't for a long time). Add another test to make sure.