Merge pull request #3625 from FernetMenta/addongui
authorRainer Hochecker <fernetmenta@online.de>
Fri, 15 Nov 2013 15:45:47 +0000 (07:45 -0800)
committerRainer Hochecker <fernetmenta@online.de>
Fri, 15 Nov 2013 15:45:47 +0000 (07:45 -0800)
addongui: fix incorrect version in header


Trivial merge