diff --git a/doc/manual/release-notes/rl-1.12.xml b/doc/manual/release-notes/rl-1.12.xml index 6aab0ab90..551139f3a 100644 --- a/doc/manual/release-notes/rl-1.12.xml +++ b/doc/manual/release-notes/rl-1.12.xml @@ -382,6 +382,11 @@ configureFlags = "--prefix=${placeholder "out"} --includedir=${placeholder "dev" script. + + builtins.split. + (b8867a0239b1930a16f9ef3f7f3e864b01416dff)) + + This release has contributions from TBD.