Fix an issue with GraphTool interval arrows at infinity disappearing. (hotfix of #1539) - #1540

Fix an issue with GraphTool interval arrows at infinity disappearing. (hotfix of #1539)#1540

pstaabp merged 1 commit into

openwebwork:mainopenwebwork/pg:mainfrom

drgrice1:bugfix/graphtool-number-line-inf-point-hotfixdrgrice1/pg:bugfix/graphtool-number-line-inf-point-hotfixCopy head branch name to clipboard