tree e03748a6e756f40dffb7c6734f90a1c9a7b428db
parent 74bee0de8c70f6a6d4ad9e6f6814fec3c3f64e7e
author Dmitrii Filippov <dmfilippov@google.com> 1625744931 +0200
committer Dmitrii Filippov <dmfilippov@google.com> 1632817263 +0000

Allow more precise typing for gr-autocomplete

Change-Id: I88326e104ba1bac91799b2a04d1a3ce5dfad60a5