Fix one more misuse of time-stamp-time-zone

* test/etags/html-src/softwarelibero.html: Use "UTC0" rather
than the unportable "GMT" for time zone.

diff --git a/test/etags/html-src/softwarelibero.html b/test/etags/html-src/softwarelibero.html
index 159432908d227591fec710c85cc2d979cff28528..b374273c96948ac05ada63d861f76c82b4b59722 100644 (file)
--- a/test/etags/html-src/softwarelibero.html
+++ b/test/etags/html-src/softwarelibero.html
@@ -302,7 +302,7 @@
 Local variables:
 fill-column: 72
 time-stamp-active: t
-time-stamp-time-zone: "GMT"
+time-stamp-time-zone: "UTC0"
 time-stamp-format: "%:y-%02m-%02d"
 time-stamp-line-limit: 30
 time-stamp-start: "ultima\\s-+modifica\\s-+è\\s-+del\\s-+"