From 5d05ffc883d8d99407a8970952f31cf95f8f9957 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sun, 28 Dec 2008 21:56:22 +0100 Subject: [PATCH] Fix #6: Don't generate redundant ``