Bug#155680: PROPOSAL ] bump priority of window managers whic

Mon, 12 Aug 2002 23:34:23 -0500 

On 13-Aug-2002 Colin Walters wrote:
> Well, are we basically in rough consensus about this now?
> 
> Here's an updated patch which just makes the priority increase 20
> instead of 30.
> 

sure.

Reply via email to