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