1. 2017-08-19 [12] gedit textsize plugin verkleinert nur ng0177 2. 2017-08-06 [1] rawhide & cuda ng0177