mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-11 14:28:42 +00:00
f5e1bee33e
docshell. This fixes the problem where after visiting a page with a refresh, we would later always try to refresh that page even if you had moved on.