Signed-off-by: Stefano Lattarini <stefano.lattar...@gmail.com> --- NEWS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/NEWS b/NEWS index c61ec15..e23396e 100644 --- a/NEWS +++ b/NEWS @@ -149,8 +149,8 @@ New in 1.13: - The 'missing' script no longer tries to update the timestamp of out-of-date files that require a maintainer-specific tool to be remade, in case the user lacks such a tool (or has a too-old version - of it). It just give a useful warning, and in some cases also a tip - about how to obtain such a tool. + of it). It just gives a useful warning, and in some cases also a + tip about how to obtain such a tool. - The missing script has thus become useless as a (poor) way to work around the sketched-timestamps issues that can happen for projects -- 1.8.0.1.347.gf94c325