From 0ff53d9cdae486a9e77be3ee9209459fcad98172 Mon Sep 17 00:00:00 2001
From: Gerrit User 1000000 <1000000@85315e57-5f03-49c3-83f8-201ae2313a75>
Date: Fri, 20 Dec 2019 18:38:17 +0100
Subject: [PATCH] Update patch set 6

Change has been successfully merged by Michael Prokop

Patch-set: 6
Status: merged
Tag: autogenerated:gerrit:merged
Reviewer: Gerrit User 1000000 <1000000@85315e57-5f03-49c3-83f8-201ae2313a75>
Label: SUBM=+1
Submission-id: 6521-1576863497759-4fbe945
Submitted-with: OK
Submitted-with: OK: Code-Review: Gerrit User 1000020 <1000020@85315e57-5f03-49c3-83f8-201ae2313a75>
Submitted-with: OK: Verified: Gerrit User 1000003 <1000003@85315e57-5f03-49c3-83f8-201ae2313a75>