From 74e65cc0c578ebd50e487d2bccfe52ca736b1e61 Mon Sep 17 00:00:00 2001 From: Luca Heltai Date: Wed, 14 Jun 2017 16:06:17 +0200 Subject: [PATCH] Added changelog. --- doc/news/changes/minor/20170614LucaHeltai | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 doc/news/changes/minor/20170614LucaHeltai diff --git a/doc/news/changes/minor/20170614LucaHeltai b/doc/news/changes/minor/20170614LucaHeltai new file mode 100644 index 0000000000..d7035ad22e --- /dev/null +++ b/doc/news/changes/minor/20170614LucaHeltai @@ -0,0 +1,6 @@ +New: Utilities::split_string_list() now has a +version that allows to pass a string instead of a +character. With this it is possible to split on +double chars, for example: "alpha ;; beta ;; gamma". +
+(Luca Heltai, 2017/06/14) -- 2.39.5