about summary refs log tree commit diff
path: root/doc/manual/release-notes
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-08-16T19·36+0200
committerEelco Dolstra <edolstra@gmail.com>2017-08-16T19·36+0200
commite2f9a61dc95f8f0ee51995ad88f4c5d5bd0e7740 (patch)
tree3f7d3d1e242d1ed84d01822a013c88292c4c2905 /doc/manual/release-notes
parent2ee1b9359b26e0d75c0ee885549fee4ad87131d1 (diff)
Update release notes
Diffstat (limited to 'doc/manual/release-notes')
-rw-r--r--doc/manual/release-notes/rl-1.12.xml5
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>