Java: Add another change note

igfoo · igfoo · commit 3d85c4f19ce5 · 2023-03-31T12:46:10.000+01:00
diff --git a/java/ql/lib/change-notes/2023-03-31-compilation-names.md b/java/ql/lib/change-notes/2023-03-31-compilation-names.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The filenames embedded in `Compilation.toString()` now use `/` as the path separator on all platforms.

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +---
 +category: minorAnalysis
 +---
 +* The filenames embedded in `Compilation.toString()` now use `/` as the path separator on all platforms.