Fix an issue with GraphTool interval arrows at infinity disappearing. - #1539

Fix an issue with GraphTool interval arrows at infinity disappearing.#1539

pstaabp merged 1 commit into

openwebwork:developopenwebwork/pg:developfrom

drgrice1:bugfix/graphtool-number-line-inf-pointdrgrice1/pg:bugfix/graphtool-number-line-inf-pointCopy head branch name to clipboard