fix previous publication date

r12a · r12a · commit 7b922fa27f18 · 2020-05-20T13:00:11.000+01:00
diff --git a/index.html b/index.html
@@ -12,8 +12,8 @@
           useExperimentalStyles: true,
           // specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
           specStatus:				"ED",
-          //publishDate:  			"2017-02-09",
-          previousPublishDate:  	"2018-08-28",
+          //publishDate:  			"2020-05-20",
+          previousPublishDate:  	"2019-05-20",
           previousMaturity:  		"WD",
 
           noRecTrack:           true,
