Processing commands for [email protected]: > close 945555 5.3.15-1 Bug #945555 {Done: Salvatore Bonaccorso <[email protected]>} [src:linux] linux-source-5.3: Warning from gawk about escaped characters Marked as fixed in versions linux/5.3.15-1. Bug #945555 {Done: Salvatore Bonaccorso <[email protected]>} [src:linux] linux-source-5.3: Warning from gawk about escaped characters Bug 945555 is already marked as done; not doing anything. > thanks Stopping processing here.
Please contact me if you need assistance. -- 945555: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=945555 Debian Bug Tracking System Contact [email protected] with problems
