Alexander Ried 31fa7eda70 releasenotes: fix opengl.extraPackages option name ... Should be merged into master and release-16.03 I guess		2016-05-21 16:34:58 +02:00
..
manual	releasenotes: fix opengl.extraPackages option name	2016-05-21 16:34:58 +02:00