OK.
On 2/12/19 7:46 pm, Sebastian Huber wrote:
> Close #3781.
> ---
> source-builder/sb/check.py | 30 +-
> 1 file changed, 17 insertions(+), 13 deletions(-)
>
> diff --git a/source-builder/sb/check.py b/source-builder/sb/check.py
> index 9e4e953..be808ea 100644
> ---
Close #3781.
---
source-builder/sb/check.py | 30 +-
1 file changed, 17 insertions(+), 13 deletions(-)
diff --git a/source-builder/sb/check.py b/source-builder/sb/check.py
index 9e4e953..be808ea 100644
--- a/source-builder/sb/check.py
+++ b/source-builder/sb/check.py
@