Closed matteocargnelutti closed 1 year ago
This PR removes the following instructions from the "Tools" page, which were specific to earlier versions of Microsoft Edge and are now obsolete:
Microsoft Edge users may use the same procedure as users of Google Chrome or Firefox, if they wish to use our bookmarklet.
Thanks @kmukk for bringing this problem to my attention 🙏
This PR removes the following instructions from the "Tools" page, which were specific to earlier versions of Microsoft Edge and are now obsolete:
Microsoft Edge users may use the same procedure as users of Google Chrome or Firefox, if they wish to use our bookmarklet.
Thanks @kmukk for bringing this problem to my attention 🙏