Processing commands for control@bugs.debian.org: > # It looks that the last requesting party has left, so closing. Feel free to revert or change. > close 1009937 Bug #1009937 [wnpp] ITP: quick-lint-js -- JavaScript linter Marked Bug as done > stop Stopping processing here. Please contact me if you need assistance. -- 1009937: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1009937 Debian Bug Tracking System Contact owner@bugs.debian.org with problems