tree 23a340beef18a066c497d8351df423df12327857
parent 10745e1218a5ceba525ebfddd21b43cca011d121
author Dave Borowitz <dborowitz@google.com> 1552670317 -0700
committer Dave Borowitz <dborowitz@google.com> 1552924243 -0700

Support plugin-defined options in extension API

Change-Id: I632e256a829bb9cb2c56f7db10a21c156cc20f2b