tree 760d1ebd33700ea3be7bfb760dc2fb32aaba1610
parent 8be4e03af2dddb4bdc89df8595a30c8d5fc7cb12
author Mehrdad Afshari <mmx@google.com> 1489997125 +0000
committer Mehrdad Afshari <mmx@google.com> 1490285733 -0700

Test all_extension_numbers_of_type