tree 94d8f403583dcc833924f9470e01a4b9bfa30d27
parent 3736824e9844375f9caeb1c1b608d3b69b6f97e6
author Dave Borowitz <dborowitz@google.com> 1433178004 -0700
committer Dave Borowitz <dborowitz@google.com> 1433178004 -0700

Rename "topic:" to "intopic:" and "exacttopic:" to "topic:"

"Exact topic" is unwieldy to say/type. We wanted to get the change
that introduced it in faster so we could fix the correctness issue
with submitWholeTopic and get the schema upgrade process started. Now
we can go back and change the names to something more sensible.

The new name "intopic" is shorter and parallels the standard Google
search operator "inurl".

Change-Id: Ic7a41947392f24752a5524ad8365c0453c931a8b