Processed: forcibly merging 513604 516814 517329

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> forcemerge 513604 516814 517329
Bug#513604: linux-libc-dev: drm headers conflict with libdrm-dev
Bug#516814: linux-libc-dev: conflicts with libdrm-dev
Bug#517329: linux-libc-dev: file conflict with libdrm-dev
Forcibly Merged 513604 516814 517329.

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)