[Ward]

I've noticed that when OmniFocus is relaunched after an auto-update, Hide OmniFocus does nothing. And Hide Others in another app does not hide OmniFocus.

A quit & relaunch of OmniFocus restores normal hiding.

The only unusual aspect is that this thread was opened in December, and the first time I noticed it was just a few days ago. I use hiding a LOT. Hmmm.

[submitted as formal feedback]