Subject: Re: bug#6215: default process priority
From: Bob Proulx <[email-masked]>
To: Jarosław Piątek <[email-masked]>
Cc: [email-masked]
Date: Wed, 19 May 2010 13:20:48 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

Jarosław Piątek wrote:
> Thank you for your reply.

Since this seems to be done I am marking the bug as done.

Bob