21 Jul
2016
21 Jul
'16
18:10
On Thu, 2016-07-21 at 20:02 +0200, jcsl wrote:
The patch seems to have been already applied on Tumbleweed,
Oh right - on closer look it's there; just carries a different name... makes it a bit too easy to miss. With all this, I'd say you're safe to file a bug report... Cheers, Dominique