Am 29.11.18 um 17:21 schrieb Sean Paul:
> On Thu, Nov 29, 2018 at 11:14 AM Christian König
> wrote:
>> Am 29.11.18 um 17:11 schrieb Sean Paul:
>>> On Thu, Nov 29, 2018 at 10:58 AM Koenig, Christian
>>> wrote:
Am 29.11.18 um 16:55 schrieb Sean Paul:
> From: Sean Paul
>
> Fixes
On Thu, Nov 29, 2018 at 11:14 AM Christian König
wrote:
>
> Am 29.11.18 um 17:11 schrieb Sean Paul:
> > On Thu, Nov 29, 2018 at 10:58 AM Koenig, Christian
> > wrote:
> >> Am 29.11.18 um 16:55 schrieb Sean Paul:
> >>> From: Sean Paul
> >>>
> >>> Fixes htmldocs build error:
> >>> Error: Cannot
Am 29.11.18 um 17:11 schrieb Sean Paul:
On Thu, Nov 29, 2018 at 10:58 AM Koenig, Christian
wrote:
Am 29.11.18 um 16:55 schrieb Sean Paul:
From: Sean Paul
Fixes htmldocs build error:
Error: Cannot open file ../drivers/gpu/drm/drm_global.c
Fixes: 2bb42410b1bd ("drm: Remove drm_global.{c,h}
On Thu, Nov 29, 2018 at 10:58 AM Koenig, Christian
wrote:
>
> Am 29.11.18 um 16:55 schrieb Sean Paul:
> > From: Sean Paul
> >
> > Fixes htmldocs build error:
> > Error: Cannot open file ../drivers/gpu/drm/drm_global.c
> >
> > Fixes: 2bb42410b1bd ("drm: Remove drm_global.{c,h} v2")
> > Cc: Thomas
Am 29.11.18 um 16:55 schrieb Sean Paul:
> From: Sean Paul
>
> Fixes htmldocs build error:
> Error: Cannot open file ../drivers/gpu/drm/drm_global.c
>
> Fixes: 2bb42410b1bd ("drm: Remove drm_global.{c,h} v2")
> Cc: Thomas Zimmermann
> Cc: Christian König
> Cc: Junwei Zhang
> Cc: Alex Deucher
>
From: Sean Paul
Fixes htmldocs build error:
Error: Cannot open file ../drivers/gpu/drm/drm_global.c
Fixes: 2bb42410b1bd ("drm: Remove drm_global.{c,h} v2")
Cc: Thomas Zimmermann
Cc: Christian König
Cc: Junwei Zhang
Cc: Alex Deucher
Cc: Maarten Lankhorst
Cc: Maxime Ripard
Cc: Sean Paul
