In the review of the last patch series, two new options, --skip-non-redundant and --ignore-non-redundant were added. However, they were not added to the man page. Moreover, by default, non-redundant instances are now taken into account. As this differs from the old behavior, it warrants a NEWS file entry.
Klaus Aehlig (2): Document hroller options recently added Document recent hroller changes in the NEWS file NEWS | 4 ++++ man/hroller.rst | 21 +++++++++++++++------ 2 files changed, 19 insertions(+), 6 deletions(-) -- 1.8.2.1
