View Single Post
Old 2021-01-16, 16:43   #63
axn
 
axn's Avatar
 
Jun 2003

136416 Posts
Default

I believe they are both used, but for different purposes. If there is no internet connectivity, the first parameter is used. If there is internet connectivity, but mersenne.org is down, the second parameter is used.

Or something like that. I don't remember exactly. Maybe George knows.

Regardless, you can manually edit the entry and see if that takes care of things for the future.
axn is offline   Reply With Quote