Re-opening PRs

[Aleksey Shipilev]

Hi,

Look at this issue:
   https://github.com/openjdk/jdk/pull/1343

It was closed by bot due to timeout:

"@shipilev This pull request has been inactive for more than 8 weeks and will now be automatically 
closed. If you would like to continue working on this pull request in the future, feel free to 
reopen it!"

Cool, but there is no way for me to reopen the PR.

It must be because the bot closed the PR, and I don't have enough privileges to reopen?
What users like me are expected to do here?

-- 
Thanks,
-Aleksey