Closed mwien closed 8 months ago
There was a typo in the name of the second author of https://ftp.cs.ucla.edu/pub/stat_ser/r185-dor-tarsi.pdf.
All places where it occurs should be fixed
EDIT: is the library.md file automatically generated? else we need to fix it there as well
Ups.
There was a typo in the name of the second author of https://ftp.cs.ucla.edu/pub/stat_ser/r185-dor-tarsi.pdf.
All places where it occurs should be fixed
EDIT: is the library.md file automatically generated? else we need to fix it there as well