On 7/29/20 8:22 PM, Yardena Cohen via aur-requests wrote: > On Sun, Jul 19, 2020 at 4:48 PM <[email protected]> wrote: >> yochananmarqos [1] filed a request to merge https-everywhere-chrome >> [2] into chromium-extension-https-everywhere [3]: > > As the creator of https-everywhere-chrome, I have no particular > attachment to it, and would happily trust the maintainer of > chromium-extension-https-everywhere to continue packaging it. Loading > the extension via chromium's json settings did not occur to me in 2013 > - perhaps it wasn't even an option at the time, I don't recall. But > it's a good idea. Feel free to merge, or not, with my blessing.
Thanks for confirming, done. (I have no idea when chromium gained that option, but even if it existed it may not have been documented well.) -- Eli Schwartz Bug Wrangler and Trusted User
signature.asc
Description: OpenPGP digital signature
