On 20 February 2018 at 01:52, Chris Johns wrote:
> I have pushed this.
>
> Would it be possible to get a patch for the documentation?
>
Yes, sure. I just overlooked that. Thanks for reminding. (patch should be
included in my previous message)
--
Best regards,
MK
___
On 17/02/2018 03:29, Maksim E. Kozlov wrote:
> This patch adds an option for changing location of the patches directory
> as for source, build and tmp. This can be useful when you use CI/Docker
> services, for example, or maybe in other cases when you do not want to
> download patches for every bu
This patch adds an option for changing location of the patches directory
as for source, build and tmp. This can be useful when you use CI/Docker
services, for example, or maybe in other cases when you do not want to
download patches for every build but can not preserve cloned repo.
Maksim E. Kozl
