Reporting a closed issue again

I found a problem and checked the GitHub issues to see whether it had already been reported. It had: “HyperTreeList: resizing columns creates an odd graphical bug, producing a black vertical bar #1031”. But the OP had closed it with the comment “Must have been an issue in my environment, problem seems to have corrected itself.”

Presumably issues aren’t reopened and I should open a new issue, noting that this is similar to #1031? Should I include any comment in #1031 to point anyone who may refer to it later to the newer issue?

If you reference the old issue with “#1031” (sans quotes) then it will automatically generate a link in the new issue and a link-back in 1031.

Brilliant, thanks Robin.

Opened issue #1901