On Thu, Apr 30, 2015 at 02:13:04PM +0200, Pavel Reichl wrote:
Functionality of split_str() in actually not new. It's used in
many places
ad hoc as part of other functions.
(I haven't seen the code, just following the discussion)
Would it make sense to consolidate the code to use split_str(), then?