Le jeudi 26 septembre 2013 à 06:29 +0000, Thomas Weber a écrit : > This is an automated email from the git hooks/post-receive script. > > tweber pushed a commit to branch master > in repository octave. > > commit 5469860c5faa14865a07fcea111f523c75004405 > Author: Thomas Weber <tweber@debian.org> > Date: Thu Sep 26 08:28:03 2013 +0200 > > Change priority from 'extra' to 'optional' > > Closes: 706761 Note that changing the priority in the debian/control file does not really close the bug, and has actually no effect. The real fix has to be done in the override file, and only FTPmasters can do that. -- .''`. Sébastien Villemot : :' : Debian Developer `. `' http://www.dynare.org/sebastien `- GPG Key: 4096R/381A7594
Attachment:
signature.asc
Description: This is a digitally signed message part