[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#155680: PROPOSAL ] bump priority of window managers which support WMSP

On Mon, Aug 12, 2002 at 10:43:06PM -0400, 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.

There's still one "the" too much.

 - Sebastian

Reply to: