@ignore
-Copyright (C) 1988-2020 Free Software Foundation, Inc.
+Copyright (C) 1988-2022 Free Software Foundation, Inc.
@end ignore
-@set LASTCHANGE Thu Oct 29 16:18:54 EDT 2020
+@set LASTCHANGE Mon Sep 19 11:13:51 EDT 2022
-@set EDITION 5.1
-@set VERSION 5.1
+@set EDITION 5.2
+@set VERSION 5.2
-@set UPDATED 29 October 2020
-@set UPDATED-MONTH October 2020
+@set UPDATED 19 September 2022
+@set UPDATED-MONTH September 2022