Closed riemass closed 5 years ago
Change Kleene star to Kleene plus in regex. This fixes the issue that names could be empty strings.
Change Kleene star to Kleene plus in regex. This fixes the issue that names could be empty strings.