Processing commands for [email protected]: > reopen 877679 Bug #877679 {Done: Mattia Rizzolo <[email protected]>} [openjdk-8-jre-headless] java-8-openjdk (version 8u141-b15-1~deb9u1) fails to install if /usr/share/man is not available Bug reopened Ignoring request to alter fixed versions of bug #877679 to the same values previously set > reassign 877677 openjdk-8-jre-headless 8u141-b15-1~deb9u1 Bug #877677 [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 #877677 to the same values previously set Ignoring request to alter fixed versions of bug #877677 to the same values previously set Bug #877677 [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 877677 serious Bug #877677 [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' > close 877677 Bug #877677 [openjdk-8-jre-headless] java-8-openjdk (version 8u141-b15-1~deb9u1) fails to install if /usr/share/man is not available Marked Bug as done > -- Stopping processing here.
Please contact me if you need assistance. -- 877677: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877677 877679: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877679 Debian Bug Tracking System Contact [email protected] with problems
