gnustep-gui (0.25.0-4) unstable; urgency=medium * Delete debian/libgnustep-gui0.25.symbols file (Closes: #835894). * Override lintian warning about symbols control file. -- Eric Heintzmann <email address hidden> Fri, 02 Sep 2016 19:42:42 +0200