ports/180231: [exp-run] (?) change Linux DRI default from graphics/linux-dri74 to graphics/linux-f10-dri

[edwin at FreeBSD.org]

Synopsis: [exp-run] (?) change Linux DRI default from graphics/linux-dri74 to graphics/linux-f10-dri

Responsible-Changed-From-To: freebsd-ports-bugs->emulation
Responsible-Changed-By: edwin
Responsible-Changed-When: Wed Jul 3 11:00:08 UTC 2013
Responsible-Changed-Why: 
Over to maintainer (via the GNATS Auto Assign Tool)

http://www.freebsd.org/cgi/query-pr.cgi?pr=180231