Greg Chabala
Greg Chabala
Yeah, we need some kind of editable filter list that we can use wildcards in, like ad blocker filters do: https://adblockplus.org/filter-cheatsheet
I am interested in having an official public GlassFish docker image exist.
I'm commenting out your PPA in the meantime. Please update the issue when it's stable again.
Clickable links for the curious: https://github.com/micropython/micropython/pull/8021 https://github.com/micropython/micropython/pull/8023 @irinakim12 your fork has a merge conflict, only you can fix it, you have all the permissions you need already. Unfortunately, you made...
> I heard it is no longer state of the art to have a detached gh-pages branch Where did you get this impression? Having a detached branch keeps the noise...
Dual meaning of `//JAVAAGENT` is an idea, if that lets you maintain backward compatibility while also gaining feature parity between the CLI flags and in-script tags. I'm sure there was...
> It seems that the domain name repo.maven.org is preferred over repo1.maven.org now? ```console $ ping repo.maven.org ping: repo.maven.org: Name or service not known ``` No, that host doesn't exist....
Your changes are probably better targeted at https://github.com/adafruit/Adafruit_CircuitPython_Wiznet5k
Thank you for writing this up @Neradoc
This looks good as far as avoiding the NPE. Can probably do another followup issue about improving the heuristic for identifying older JDKs.