Module Name: file Committed By: christos Date: Thu Dec 17 20:44:44 UTC 2020 Modified Files: file: ChangeLog Log Message: mention change To generate a diff of this commit: cvs rdiff -r1.339 -r1.340 file/ChangeLog Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.