tags 761301 + pending
thanks
Hi,
The following change has been committed for this bug by
Manoj Srivastava <sriva...@debian.org> on the branch
master at Sat, 16 Jan 2016 01:37:21 -0800.
The fix will be in the next upload.
=========================================================================
[master]: Demote the make packages priorities
make is now priority optional, along with gcc, floex and
bison. make-guile, which conflicts with it, is now priority extra.
Bug fix: "Neither make nor make-guile should be standard", thanks to
Josh Triplett (Closes: #761301).
Bug fix: "make instead of make-guile should be standard", thanks to
Joey Hess (Closes: #762017).
Signed-off-by: Manoj Srivastava <sriva...@debian.org>
=========================================================================
