Re: [PATCH v6 08/18] pesto: Introduce stub configuration tool