Dear all,
unfortunately our application for the Google Summer of Code 2023 got
rejected. I haven't received any feedback on the reasons yet; however,
looking at our GSoC ideas list I can see that we haven't done a good
enough job to describe our GSoC-projects.
Well, we can take this as
Thanks, Jed! I had seen that exact web page months ago but could not find
it again. Could not get the magic words for the Google.
https://gitlab.com/petsc/petsc/-/merge_requests/6106
> On Feb 22, 2023, at 12:19 AM, Jed Brown wrote:
>
> Here's the theme option to control it.
>
>
