On Tue, 25 May 2021, Tobias Burnus wrote:
> I think "once a day" is clearer. [The commit has the message "Daily
> bump." and bumps (not "dumps") the date in DATESTAMP. I wanted to relate
> those – but it seems as if this just adds more confusion.]
FWIW, your updated version makes everything easy t
*PING*
On 25.05.21 13:16, Tobias Burnus wrote:
On 24.05.21 09:45, Gerald Pfeifer wrote:
On Sun, 23 May 2021, Tobias Burnus wrote:
As there was some confusion regarding when the ChangeLog is generated,
I propose the attached wwwdocs patch. Comments?
-Apply the patch to your local tree. Change
On 24.05.21 09:45, Gerald Pfeifer wrote:
On Sun, 23 May 2021, Tobias Burnus wrote:
As there was some confusion regarding when the ChangeLog is generated,
I propose the attached wwwdocs patch. Comments?
-Apply the patch to your local tree. ChangeLog entries will be
-automatically added to the c
On Sun, 23 May 2021, Tobias Burnus wrote:
> As there was some confusion regarding when the ChangeLog is generated,
> I propose the attached wwwdocs patch. Comments?
-Apply the patch to your local tree. ChangeLog entries will be
-automatically added to the corresponding ChangeLog files based
-on t
On 5/23/21 2:37 PM, Tobias Burnus wrote:
As there was some confusion regarding when the ChangeLog is generated,
I propose the attached wwwdocs patch. Comments?
I support the change. Moreover, I'm going to install the following
patch that adds a note about ChangeLog entries.
Martin
(Side rem
As there was some confusion regarding when the ChangeLog is generated,
I propose the attached wwwdocs patch. Comments?
(Side remark: The cron-script commit by gccadmin@ is labelled "Daily bump."
and updates gcc/DATESTAMP besides the ChangeLog files.)
Tobias
-
Mentor Graphics (De
