3.7.2 update #18

Merged

chomp merged 5 commits from 3.7.2 into master

2023-11-12 13:32:15 -05:00

Author	SHA1	Message	Date
Dev	a5d132f25e	Update types	2023-11-12 15:56:54 +00:00
Dev	385a4f0c19	Update types	2023-11-10 16:01:14 +00:00
Dev	7687be6681	Update types	2023-11-01 14:25:29 +00:00
Dev	c780e6c9f3	Update readme	2023-10-20 13:32:35 +01:00
Dev	680073980b	Update package jsons	2023-10-20 12:54:15 +01:00