11 May
2018
11 May
'18
6:14 p.m.
Quoting Lionel Landwerlin (2018-05-11 18:41:28)
On 11/05/18 16:51, Chris Wilson wrote:
But I can't even startup a gdm on that machine with drm-tip. So maybe there is some much more broken... Don't leave us in suspense...https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890614
Not our bug :)
You would not believe how relieved I am that someone else has bugs in their code. -Chris