Fix default extension_name and validation#175

Merged

Zsailer merged 1 commit intojupyter-server:masterfrom jtpio:default-extension-name

Jan 29, 2020

+3-2

Commits on Jan 28, 2020

Fix default and validation for extension_name
jtpio
committed