Processing commands for control@bugs.debian.org: > close 802647 4.3.1-1 Bug #802647 [src:linux] linux-image bug Marked as fixed in versions linux/4.3.1-1. Bug #802647 [src:linux] linux-image bug Marked Bug as done > thanks Stopping processing here. Please contact me if you need assistance. -- 802647: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=802647 Debian Bug Tracking System Contact owner@bugs.debian.org with problems