master updated (ebc2d42b34 -> 25584009e7)

[Gavin D. Smith]

gavin pushed a change to branch master.

    from ebc2d42b34 install-info atomic dir update
     new 020e7bda44 * install-info/install-info.c (output_dirfile): Avoid mixed 
declaration and statements.
     new 25584009e7 * install-info/install-info.c (readfile): null-terminate 
file data so to avoid reading off the end in mark_entry_for_deletion. 
(mark_entry_for_deletion): Add checks for end of data.


Summary of changes:
 ChangeLog                   | 11 +++++++++++
 install-info/install-info.c | 15 +++++++++++----
 2 files changed, 22 insertions(+), 4 deletions(-)