Re: [sr-dev] RFC: updates to some core functions

19 Dec 2018

On Wed, 19 Dec 2018 at 08:49, Daniel-Constantin Mierla &lt;miconda(a)gmail.com&gt;
wrote:

...
  2) remove the function export from the core and export
one with the same
 name from the corex module

I vote for the second, I like a clean house :-)