From mboxrd@z Thu Jan  1 00:00:00 1970
From: gerald@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, gerald@gcc.gnu.org, gerald@pfeifer.at, pfeifer@dbai.tuwien.ac.at
Subject: Re: web/94: Do not update the "last modified" dates when there are no actual changes
Date: Sat, 25 Aug 2001 23:45:00 -0000
Message-id: <20010826064513.6667.qmail@sourceware.cygnus.com>
X-SW-Source: 2001-08/msg00665.html
List-Id: <gcc-prs.sourceware.org>

Synopsis: Do not update the "last modified" dates when there are no actual changes

State-Changed-From-To: analyzed->closed
State-Changed-By: gerald
State-Changed-When: Sat Aug 25 23:45:13 2001
State-Changed-Why:
    Fix installed 2001-08-24. Seems to work as expected.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=94&database=gcc