Bug#693438: marked as done (sauerbraten: priority should be optional not extra)

Wed Jan 22 00:27:20 UTC 2014

Your message dated Tue, 21 Jan 2014 16:22:04 -0800
with message-id <CACZd_tAmYwE3j5i4hG+h3065DWMjiqN=w8S1GdVhPBkdck8D4A at mail.gmail.com>
and subject line Re: sauerbraten: priority should be optional not extra
has caused the Debian Bug report #693438,
regarding sauerbraten: priority should be optional not extra
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner at bugs.debian.org
immediately.)

-- 
693438: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=693438
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Markus Koschany <apo at gambaru.de>
Subject: sauerbraten: priority should be optional not extra
Date: Fri, 16 Nov 2012 15:36:42 +0100
Size: 2485
URL: <http://lists.alioth.debian.org/pipermail/pkg-games-devel/attachments/20140122/e9d2d109/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Vincent Cheng <vcheng at debian.org>
Subject: Re: sauerbraten: priority should be optional not extra
Date: Tue, 21 Jan 2014 16:22:04 -0800
Size: 2467
URL: <http://lists.alioth.debian.org/pipermail/pkg-games-devel/attachments/20140122/e9d2d109/attachment-0001.mht>