Add missing regional extension IDs and pub keys #177

Merged
merged 1 commit into from Feb 14, 2019
Merged

Add missing regional extension IDs and pub keys #177

merged 1 commit into from Feb 14, 2019