From e2f9a61dc95f8f0ee51995ad88f4c5d5bd0e7740 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Wed, 16 Aug 2017 21:36:47 +0200
Subject: [PATCH] Update release notes

---
 doc/manual/release-notes/rl-1.12.xml | 5 +++++
 1 file changed, 5 insertions(+)

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.</para>
   </listitem>
 
+  <listitem>
+    <para><function>builtins.split</function>.
+    (b8867a0239b1930a16f9ef3f7f3e864b01416dff))</para>
+  </listitem>
+
 </itemizedlist>
 
 <para>This release has contributions from TBD.</para>