diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-16T19·36+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-16T19·36+0200 |
| commit | e2f9a61dc95f8f0ee51995ad88f4c5d5bd0e7740 (patch) | |
| tree | 3f7d3d1e242d1ed84d01822a013c88292c4c2905 /doc/manual/release-notes/rl-1.12.xml | |
| parent | 2ee1b9359b26e0d75c0ee885549fee4ad87131d1 (diff) | |
Update release notes
Diffstat (limited to 'doc/manual/release-notes/rl-1.12.xml')
| -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> |