Skip to content

Fix ArXiVIdentifier -- dot is required and not arbitrary character#8149

Merged
Siedlerchr merged 6 commits intomainfrom fixArxivIdParsingOct 17, 2021