1. 2018-11-01 Re: [PATCH 18/19] submodule: use submodule repos for git Stefan Beller 2. 2018-10-31 Re: [PATCH 18/19] submodule: use submodule repos for git Derrick Stolee 3. 2018-10-25 Re: [PATCH 18/19] submodule: use submodule repos for git SZEDER =?utf-8?B?R 4. 2018-10-19 Re: [PATCH 18/19] submodule: use submodule repos for git Jonathan Tan 5. 2018-10-16 [PATCH 18/19] submodule: use submodule repos for obje git Stefan Beller