> On Jun 19, 2022, at 5:50 AM, Oscar Benjamin
> wrote:
>
> On Sun, 19 Jun 2022 at 09:01, Aaron Meurer wrote:
>>
>>> On Sat, Jun 18, 2022 at 3:49 PM Oscar Benjamin
>>> wrote:
>>>
>>> On Sat, 18 Jun 2022 at 13:45, Jeremy Monat wrote:
Aaron Meurer pointed out that we should
On Sun, 19 Jun 2022 at 09:01, Aaron Meurer wrote:
>
> On Sat, Jun 18, 2022 at 3:49 PM Oscar Benjamin
> wrote:
>>
>> On Sat, 18 Jun 2022 at 13:45, Jeremy Monat wrote:
>> >
>> > Aaron Meurer pointed out that we should move the solving main page before
>> > the next release, so the page is in
On Sat, Jun 18, 2022 at 3:49 PM Oscar Benjamin
wrote:
> On Sat, 18 Jun 2022 at 13:45, Jeremy Monat wrote:
> >
> > Aaron Meurer pointed out that we should move the solving main page
> before the next release, so the page is in its final location when it gets
> published to the "latest" (not dev)
