29 Jun
2023
29 Jun
'23
6:32 p.m.
On Thu Jun 29 07:55:06 2023 +0000, Rémi Bernon wrote:
These are supposed to have `[deprecated]`, would be nice to have the attribute.
Fixed in the next version