Closed mdoob closed 7 months ago
Dear Michael - This should be just a single commit. And do you see in the list of three above that the first commit is "OBSOLETE" and was not authored by you? You need to start with a new branch off of master
. That certainly means opening a new PR.
I appreciate contributing an important fix in an automated fashion. But this is a good chance to figure out to do this in an efficient way. Thanks.
Change of small typo in "line-numbers" attribute within schema/pretext.xml.