# HG changeset patch
# User wenzelm
# Date 1631308731 -7200
# Node ID 7492cd35782ebb54a0adc4d98eec9922879941a5
# Parent  1fc263b5aac1de9d33594623e31663d0816deb6f
tuned;

diff -r 1fc263b5aac1 -r 7492cd35782e NEWS
--- a/NEWS	Fri Sep 10 23:03:47 2021 +0200
+++ b/NEWS	Fri Sep 10 23:18:51 2021 +0200
@@ -253,7 +253,7 @@
 For example:
 
   - type 'a Symtab.table etc.: build
-  - Type 'a Names.table etc.: build
+  - type 'a Names.table etc.: build
   - type 'a list: build and build_rev
   - type Buffer.T: build and build_content