13 Oct
2018
13 Oct
'18
6:45 p.m.
On Sat, Oct 13, 2018 at 1:13 PM Meul, Dirk Dirk.Meul@rwth-aachen.de wrote:
Instead of keeping a custom environment, use a more generic approach by switching to distro config.
Signed-off-by: Dirk Meul dirk.meul@rwth-aachen.de
Reviewed-by: Fabio Estevam festevam@gmail.com