juffed (0.10-85-g5ba17f9-14) unstable; urgency=medium * Deleted some symbols that magically disappeared. Added one new symbol (Closes: #876918) * Added override_dh_missing * Bumped Standards to 4.1.0 -- Alf Gaida <email address hidden> Thu, 28 Sep 2017 01:20:17 +0200