Add an option to GAPID to disable unknown extensions.#2082

Merged

AWoloszyn merged 1 commit intogoogle:masterfrom AWoloszyn:disable-unknown

Jul 25, 2018

+58-7

Commits on Jul 24, 2018

Add an option to GAPID to disable unknown extensions.
AWoloszyn
committed