7 Jan
2017
7 Jan
'17
4:37 p.m.
On Wed, 04 Jan 2017 at 00:03:35, Alex Muller via aur-dev wrote:
Patch follows, thanks for your help!
Merged to pu. Thanks!