F12: where did window properties go?

[Rahul Sundaram]

On 11/19/2009 08:31 PM, Tom Lane wrote:
> Rahul Sundaram writes:
>> I said, it *will* be an upstream change.
> 
> Upstream change or not, you're pissing off users to save 59k out of
> however many gigabytes a minimal GNOME install is. 

To be clear, I am not responsible for this change. You are talking to
the wrong person.

Rahul