Bug#879863: developer-reference conflicts with Policy on priority "extra" vs "optional"

[Tobias Frost]

Control: tags -1 pending

MR has been merged.