Processed: closing 945555
Processing commands for control@bugs.debian.org:
> close 945555 5.3.15-1
Bug #945555 {Done: Salvatore Bonaccorso <carnil@debian.org>} [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 <carnil@debian.org>} [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 owner@bugs.debian.org with problems
Reply to: