diff options
| -rw-r--r-- | doc/manual/release-notes/rl-1.12.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/release-notes/rl-1.12.xml b/doc/manual/release-notes/rl-1.12.xml index 6aab0ab906e2..551139f3a66e 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.</para> </listitem> + <listitem> + <para><function>builtins.split</function>. + (b8867a0239b1930a16f9ef3f7f3e864b01416dff))</para> + </listitem> + </itemizedlist> <para>This release has contributions from TBD.</para> |