Jonah Pears comments

Repositories
Issues
Comments

Results 2 comments of


                                            Jonah Pears

Relaunching the Godot editor results in "too many redirects" error

I'm still getting this issue. Are there any solutions or plans to fix it? It really does feel like the Personal Access Token isnt being stored/saved. Both the "Password" and...

install Coq through opam fails on Arch Linux if ocaml-findlib package is installed

Hello, I've been asked to repost here some advise for potentially fixing this issue from a comment made on [Zulip](https://coq.zulipchat.com/#narrow/channel/237977-Coq-users/topic/opam.20fails.20to.20compile.20coq-stdlib.20with.20ocaml-system.205.2E2/near/493919210). If you have installed either `coq` or `ocamlfind` via any...