On 23.01.2018 11:50, Jean-Marc Lasgouttes wrote:
When is it useful to extend an extension in the same user directory? I do not see the point...
For example, you might have a module locally installed in the user dir which you want to extend. This is not strictly speaking an extension of an extension but maybe a good enough use case to consider it seriously?
Daniel