Re: Bug#762361: override: make-guile:devel/extra

[Ansgar Burchardt <ansgar@debian.org>]

Control: tag -1 + moreinfo d-i

Hi,

I'm going over the pending override changes and found another that
affects the standard installation:

  #762361: make-guile: change priority from "standard" to "extra"

There are no rdeps on make-guile, but it Provides: make; the "make"
binary package itself has "optional" priority.

Could the d-i team ack this change?

Ansgar