Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-12 Thread Martin Klapetek

---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/
---

(Updated Dec. 12, 2014, 11:32 a.m.)


Status
--

This change has been marked as submitted.


Review request for Plasma and KDE Usability.


Repository: systemsettings


Description
---

The "Human" part feels strange (even though technically correct). Putting just 
"Input devices" is stil correct and feels more natural


Diffs
-

  categories/settings-hardware-input.desktop ddc3204 

Diff: https://git.reviewboard.kde.org/r/121449/diff/


Testing
---


Thanks,

Martin Klapetek

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Thomas Pfeiffer

---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71835
---

Ship it!


Ship It!

- Thomas Pfeiffer


On Dez. 11, 2014, 2:43 nachm., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dez. 11, 2014, 2:43 nachm.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Thomas Pfeiffer


> On Dez. 11, 2014, 3:57 nachm., Thomas Pfeiffer wrote:
> > I'll just comment here to let you know that you're not being ignored.
> > From my perspective, just "Input Devices" - while less precise - would work 
> > as well. I'd like to give Heiko, who came up with the "Human" in the name, 
> > the chance to comment as well before giving it a "Ship it" from our group, 
> > though.
> 
> Martin Klapetek wrote:
> > while less precise
> 
> Well, to some extent, yes. But aren't all devices for which we have 
> config modules "human"? ;) What's a non-human input device anyway?

A scanner for example provides input data, but directly from humans.
Well, whatever, as Heiko has already agreed to the change, it's fine from our 
side. Lemme quickly give a "Ship it!" ;)


- Thomas


---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71814
---


On Dez. 11, 2014, 2:43 nachm., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dez. 11, 2014, 2:43 nachm.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Martin Klapetek


> On Dec. 11, 2014, 4:57 p.m., Thomas Pfeiffer wrote:
> > I'll just comment here to let you know that you're not being ignored.
> > From my perspective, just "Input Devices" - while less precise - would work 
> > as well. I'd like to give Heiko, who came up with the "Human" in the name, 
> > the chance to comment as well before giving it a "Ship it" from our group, 
> > though.

> while less precise

Well, to some extent, yes. But aren't all devices for which we have config 
modules "human"? ;) What's a non-human input device anyway?


- Martin


---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71814
---


On Dec. 11, 2014, 3:43 p.m., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dec. 11, 2014, 3:43 p.m.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Lukáš Tinkl


> On Pro. 11, 2014, 6:01 odp., Heiko Tietze wrote:
> > Isn't the term HID very common? "Human interface device" (or input) to 
> > distinguish it from network cable, or the like, that are rather for the 
> > pets to play with. But I don't stick to the name.
> 
> Aleix Pol Gonzalez wrote:
> To me HID is mostly a technical term. As a user, I only expect the input 
> devices the devices I use myself for input.

Yes, according to wikipedia, it's 
http://en.wikipedia.org/wiki/Human_interface_device

But here we talk about Human _Input_ Devices, see the confusion? :)


- Lukáš


---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71816
---


On Pro. 11, 2014, 3:43 odp., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Pro. 11, 2014, 3:43 odp.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Aleix Pol Gonzalez


> On Dec. 11, 2014, 5:01 p.m., Heiko Tietze wrote:
> > Isn't the term HID very common? "Human interface device" (or input) to 
> > distinguish it from network cable, or the like, that are rather for the 
> > pets to play with. But I don't stick to the name.

To me HID is mostly a technical term. As a user, I only expect the input 
devices the devices I use myself for input.


- Aleix


---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71816
---


On Dec. 11, 2014, 2:43 p.m., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dec. 11, 2014, 2:43 p.m.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Heiko Tietze

---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71816
---


Isn't the term HID very common? "Human interface device" (or input) to 
distinguish it from network cable, or the like, that are rather for the pets to 
play with. But I don't stick to the name.

- Heiko Tietze


On Dez. 11, 2014, 2:43 nachm., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dez. 11, 2014, 2:43 nachm.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Thomas Pfeiffer

---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71814
---


I'll just comment here to let you know that you're not being ignored.
>From my perspective, just "Input Devices" - while less precise - would work as 
>well. I'd like to give Heiko, who came up with the "Human" in the name, the 
>chance to comment as well before giving it a "Ship it" from our group, though.

- Thomas Pfeiffer


On Dez. 11, 2014, 2:43 nachm., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dez. 11, 2014, 2:43 nachm.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Martin Gräßlin


> On Dec. 11, 2014, 4:19 p.m., Martin Gräßlin wrote:
> > -1: there was probably a good reason to name it like that as the renaming 
> > process was done by our usability experts. We shouldn't dismiss their 
> > feedback just because we think it sounds strange.
> 
> Eike Hein wrote:
> At the same time it's clear that KDE is too cis-species'd and this is 
> offensive to both our alien user community and pets on keyboards.
> 
> Martin Klapetek wrote:
> Martin: fair enough, that's precisely why I put the usability group here 
> too. It's not dismissing, it's iterating ;)

> pets on keyboards.

back in the days of my student flat-sharing community I came back from a week 
long trip and found my computer to be on. It turned out that my flatmate's cat 
jumped on the keyboard and turned it on. So I'm very happy to discrimenate 
against pets using input devices!!!

@Martin: fair enough, I must have missed the usability group in the review 
section.


- Martin


---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71808
---


On Dec. 11, 2014, 3:43 p.m., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dec. 11, 2014, 3:43 p.m.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Martin Klapetek


> On Dec. 11, 2014, 4:19 p.m., Martin Gräßlin wrote:
> > -1: there was probably a good reason to name it like that as the renaming 
> > process was done by our usability experts. We shouldn't dismiss their 
> > feedback just because we think it sounds strange.
> 
> Eike Hein wrote:
> At the same time it's clear that KDE is too cis-species'd and this is 
> offensive to both our alien user community and pets on keyboards.

Martin: fair enough, that's precisely why I put the usability group here too. 
It's not dismissing, it's iterating ;)


- Martin


---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71808
---


On Dec. 11, 2014, 3:43 p.m., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dec. 11, 2014, 3:43 p.m.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Eike Hein


> On Dec. 11, 2014, 3:25 p.m., Lukáš Tinkl wrote:
> > +1 
> > 
> > And I actually wonder how the thing is translated in other languages 
> > because in Czech, I omitted the word "Human" on purpose as there is no way 
> > I could make it meaningful w/o looking like an alien word.

Looking at the .desktop, most of the translations drop the "Human".


- Eike


---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71810
---


On Dec. 11, 2014, 2:43 p.m., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dec. 11, 2014, 2:43 p.m.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Lukáš Tinkl

---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71810
---


+1 

And I actually wonder how the thing is translated in other languages because in 
Czech, I omitted the word "Human" on purpose as there is no way I could make it 
meaningful w/o looking like an alien word.

- Lukáš Tinkl


On Pro. 11, 2014, 3:43 odp., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Pro. 11, 2014, 3:43 odp.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Eike Hein


> On Dec. 11, 2014, 3:19 p.m., Martin Gräßlin wrote:
> > -1: there was probably a good reason to name it like that as the renaming 
> > process was done by our usability experts. We shouldn't dismiss their 
> > feedback just because we think it sounds strange.

At the same time it's clear that KDE is too cis-species'd and this is offensive 
to both our alien user community and pets on keyboards.


- Eike


---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71808
---


On Dec. 11, 2014, 2:43 p.m., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dec. 11, 2014, 2:43 p.m.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Martin Gräßlin

---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71808
---


-1: there was probably a good reason to name it like that as the renaming 
process was done by our usability experts. We shouldn't dismiss their feedback 
just because we think it sounds strange.

- Martin Gräßlin


On Dec. 11, 2014, 3:43 p.m., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dec. 11, 2014, 3:43 p.m.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Aleix Pol Gonzalez

---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71807
---


+1

- Aleix Pol Gonzalez


On Dec. 11, 2014, 2:43 p.m., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dec. 11, 2014, 2:43 p.m.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Re: Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread David Edmundson

---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/#review71806
---


+1

- David Edmundson


On Dec. 11, 2014, 2:43 p.m., Martin Klapetek wrote:
> 
> ---
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/121449/
> ---
> 
> (Updated Dec. 11, 2014, 2:43 p.m.)
> 
> 
> Review request for Plasma and KDE Usability.
> 
> 
> Repository: systemsettings
> 
> 
> Description
> ---
> 
> The "Human" part feels strange (even though technically correct). Putting 
> just "Input devices" is stil correct and feels more natural
> 
> 
> Diffs
> -
> 
>   categories/settings-hardware-input.desktop ddc3204 
> 
> Diff: https://git.reviewboard.kde.org/r/121449/diff/
> 
> 
> Testing
> ---
> 
> 
> Thanks,
> 
> Martin Klapetek
> 
>

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel


Review Request 121449: Rename "Human Input Devices" to just "Input Devices"

2014-12-11 Thread Martin Klapetek

---
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/121449/
---

Review request for Plasma and KDE Usability.


Repository: systemsettings


Description
---

The "Human" part feels strange (even though technically correct). Putting just 
"Input devices" is stil correct and feels more natural


Diffs
-

  categories/settings-hardware-input.desktop ddc3204 

Diff: https://git.reviewboard.kde.org/r/121449/diff/


Testing
---


Thanks,

Martin Klapetek

___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel