[PATCH] config: add extension point for extracting all included files

[Kevin Bullock]

> On Feb 3, 2017, at 09:56, Mathias De Maré <mathias.demare at gmail.com> wrote:
> 
> # HG changeset patch
> # User Mathias De Mare <mathias.de_mare at nokia.com>
> # Date 1486132049 -3600
> #      Fri Feb 03 15:27:29 2017 +0100
> # Node ID ea2e95febfeff39377c878fa05cc853832bc3b2a
> # Parent  eb78ec9e97b70310e2944f72c29463bedfc21442
> config: add extension point for extracting all included files

Hmm... for those of us who haven't been paying close attention, can you say more about why this is desirable? Generally we don't add an extension point unless at least an in-tree extension uses it. (It's possible there are historical exceptions to this.)

pacem in terris / мир / शान्ति / ‎‫سَلاَم‬ / 平和
Kevin R. Bullock