How often is the website updated?

Question

dv336699 opened this issue 4 years ago · 1 comments

Is there an automated deployment or is that done manually?

thanks

Answer 1 · 2022-01-09T07:22:00.000Z

Never mind it seems that there is no PR to update to 8.1.

Thanks