svn propchange: r1933967 - svn:log

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.
-