On 14/09/2018 16:47, 'Paulo Matos' via Racket Developers wrote: > Awesome. I can create a PR for this. > I will try to create the project myself and add you as a member of the > coverity project. Hopefully Synopsys will accept it. > > I will keep you up-to-date. PR submitted: #2274 https://github.com/racket/racket/pull/2274 -- Paulo Matos -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/714368e8-3e98-8ace-4892-33743da115bb%40linki.tools. For more options, visit https://groups.google.com/d/optout.
Re: [racket-dev] Coverity Scan during CI
'Paulo Matos' via Racket Developers Mon, 17 Sep 2018 04:04:17 -0700
- Re: [racket-dev] Coverity Scan during ... Sam Tobin-Hochstadt
- Re: [racket-dev] Coverity Scan du... 'Paulo Matos' via Racket Developers
- Re: [racket-dev] Coverity Sca... 'Paulo Matos' via Racket Developers
