Processing control commands:
> reassign -1 openjdk-8-jre-headless 8u141-b15-1~deb9u1
Bug #877679 {Done: Mattia Rizzolo <mat...@debian.org>} [java-8-openjdk]
java-8-openjdk (version 8u141-b15-1~deb9u1) fails to install if /usr/share/man
is not available
Warning: Unknown package 'java-8-openjdk'
Bug reassigned from package 'java-8-openjdk' to 'openjdk-8-jre-headless'.
Ignoring request to alter found versions of bug #877679 to the same values
previously set
Ignoring request to alter fixed versions of bug #877679 to the same values
previously set
Bug #877679 {Done: Mattia Rizzolo <mat...@debian.org>} [openjdk-8-jre-headless]
java-8-openjdk (version 8u141-b15-1~deb9u1) fails to install if /usr/share/man
is not available
Marked as found in versions openjdk-8/8u141-b15-1~deb9u1.
> severity -1 serious
Bug #877679 {Done: Mattia Rizzolo <mat...@debian.org>} [openjdk-8-jre-headless]
java-8-openjdk (version 8u141-b15-1~deb9u1) fails to install if /usr/share/man
is not available
Severity set to 'serious' from 'normal'
--
877679: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877679
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
