On 12/19/18 3:18 AM, Victor Seva wrote: > On Wed, 19 Dec 2018 at 08:49, Daniel-Constantin Mierla > <miconda at gmail.com <mailto:miconda at gmail.com>> wrote: > > 2) remove the function export from the core and export one with the same > name from the corex module > This would be my preference as well. --fred