KARL3

  1. Bug #375536
  2. Comment #2

Comment 2 for bug 375536

Revision history for this message
Paul Everitt (paul-agendaless) wrote :

Chris, this is either a migration bug (the preference for default tool didn't get set), OR, we have a bug in the redirect-on-default-tool thing.