# This script is part of debbugs, and is released
# under the terms of the GPL version 2, or any later
# version at your option.
# This script is part of debbugs, and is released
# under the terms of the GPL version 2, or any later
# version at your option.