* debian/upstream-signing-key.asc: Add keys from upstream.
   * Rename: debian/upstream-signing-key.asc -> debian/upstream/signing-key.asc
   * debian/watch: Make use of the signing key from upstream.
-  * Imported Upstream version 2014.06.19
+  * Imported Upstream version 2014.06.19. Closes: #752139.
 
  -- Rogério Brito <rbrito@ime.usp.br>  Sun, 22 Jun 2014 11:48:43 -0300