Update release notes

2017-08-16 21:36:47 +02:00 · 2017-08-16 21:36:47 +02:00 · e2f9a61dc9
commit e2f9a61dc9
parent 2ee1b9359b
1 changed files with 5 additions and 0 deletions
--- 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>