diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2020-12-15 21:02:01 -0600 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2020-12-15 21:02:01 -0600 |
commit | 4a6623ad27777f423c97433420246e8f1e4ddd51 (patch) | |
tree | e81b4ff665f631471f362172fd0cd9da68c722f5 /ChangeLog | |
parent | 88a996a781c2b20d357c85f4ea4f52afa1d05a7f (diff) | |
download | dejagnu-4a6623ad27777f423c97433420246e8f1e4ddd51.zip dejagnu-4a6623ad27777f423c97433420246e8f1e4ddd51.tar.gz dejagnu-4a6623ad27777f423c97433420246e8f1e4ddd51.tar.bz2 |
Update ChangeLog
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -1,3 +1,12 @@ +2020-12-15 Jacob Bachmeyer <jcb@gnu.org> + + Apply patch from Dimitar Dimitrov: + + * Makefile.am (dejagnu_TEXINFOS): Change this... + * Makefile.am (doc_dejagnu_TEXINFOS): ...to this. + + This fixes an incorrectly recorded dependency. + 2020-11-17 Jacob Bachmeyer <jcb@gnu.org> PR44636 / PR44693 |