Module Name: file Committed By: christos Date: Thu Jun 25 16:53:38 UTC 2020 Modified Files: file: ChangeLog Log Message: mention bug fix To generate a diff of this commit: cvs rdiff -r1.336 -r1.337 file/ChangeLog Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.