On 06/21/2016 09:23 AM, Guenter Milde wrote: > On 2016-06-20, Richard Heck wrote: >> Note that this is different from having the *resolution* be fixed: These >> would still have no resolution and so would still turn up the right way in >> searches. > Having a keyword "fixed" and a resolution with the same name is confusing.
Yes, it is, but I'm not sure it is easy to change it. We can leave the rest as is. Richard
