Author: hartmannathan
Revision: 1933967
Property Name: svn:log
Action: modified
Property diff:
--- old property value
+++ new property value
@@ -12,6 +12,10 @@ In site/publish: Merge the 1.15 release
(): New file. Well, new on site/publish anyway. Release notes for the 1.15
release line, whose release management is currently in progress.
+* docs/i525-user-guide.html
+ (): New file. This also came over from staging. It's part of a TODO still
+ present in the 1.15 release notes.
+
* docs/release-notes/1.7.html,
docs/release-notes/1.8.html,
docs/release-notes/1.9.html,
@@ -24,4 +28,3 @@ In site/publish: Merge the 1.15 release
back in 2022 (r1898183)! Why did it wait until now to be merged to
site/publish? Because that revision also touched the 1.15 release notes,
which didn't exist on site/publish. Until now.
-
