Alexander Ried e2deaf77c1 releasenotes: fix opengl.extraPackages option name ... Should be merged into master and release-16.03 I guess (cherry picked from commit 31fa7eda70)		2016-05-21 16:35:31 +02:00
..
manual	releasenotes: fix opengl.extraPackages option name	2016-05-21 16:35:31 +02:00