[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: DST is Daylight Saving Time

From: Richard Stallman
Subject: Re: DST is Daylight Saving Time
Date: Mon, 12 Mar 2007 22:43:27 -0400

    Thanks for the timely suggestion. I corrected all instances of this
    typo that are not in symbol names.

This suggests we should fix the symbol names too.
Is it possible to define the new names as aliases or synonyms?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]