Bug#868658: plasma-desktop: autohide panel fails

To: 868658@bugs.debian.org
Subject: Bug#868658: plasma-desktop: autohide panel fails
From: Heinrich Schuchardt <xypron.glpk@gmx.de>
Date: Tue, 22 Aug 2017 18:27:46 +0200
Message-id: <[🔎] 08c8a102-d7d3-d136-466e-be98c1b5b938@gmx.de>
Reply-to: Heinrich Schuchardt <xypron.glpk@gmx.de>, 868658@bugs.debian.org
In-reply-to: <[🔎] 58c4dc0b-2e94-dd6b-6456-54a3db851020@gmx.de>
References: <[🔎] 58c4dc0b-2e94-dd6b-6456-54a3db851020@gmx.de> <626cedcb-9f3e-d218-e920-0c06065a5690@gmx.de>

Upstream bug report
https://bugs.kde.org/show_bug.cgi?id=316195

Reply to:

References:
- Bug#868658: plasma-desktop: autohide panel fails
  - From: Heinrich Schuchardt <xypron.glpk@gmx.de>