Processing commands for control@bugs.debian.org: > severity 33186 fixed Bug#33186: electric-fence: Documentation improvement Severity set to `fixed'. > severity 41314 fixed Bug#41314: electric fence: ability to disable the banner Severity set to `fixed'. > quit Stopping processing here. Please contact me if you need assistance. Ian Jackson (administrator, Debian bugs database)