Re: Issue-114 (punning)

From: Rinke Hoekstra <>
Subject: Re: Issue-114
Date: Wed, 2 Jul 2008 13:54:46 +0200

> On 2 jul 2008, at 13:19, Bijan Parsia wrote:
> > I propose closing this issue with no change.
> +1
> -Rinke

++1 to close this issue with no change from the current situation, i.e.,
to not remove any more punning, on the multiple grounds that it has been
requested, that it doesn't appear to cause any technical problems, that
it has been implemented, and inertia


PS:  If the above rationale is not adequate to retain this feature, then I
don't see how any request to add a feature can pass muster.

Received on Wednesday, 2 July 2008 12:16:25 UTC