Discussion: LeanSearch maintenance

Stream: general

[Jason Reed]

just wanted to say thank you for your work on leansearch, I have found it extremely helpful recently!

[Dominic Steinitz]

Is it working yet? I seem to get a blank page.

[Aaron Hill]

I had to hard-refresh (control-shift-r) to get the blank page to go away

[Notification Bot]

3 messages were moved here from #announce > LeanSearch maintenance by Floris van Doorn.