3 Commits

Include renames

Author	SHA1	Message	Date
Nick SchonningandGitHub	99e2e9b81f	Fix minor typos in comments and spec names (#21831)	2023-05-19 17:13:29 +02:00
Christian SchmidtandGitHub	b4f38edf74	Wrong type for user setting when default is defined by lambda (#24321)	2023-03-31 07:33:17 +02:00
3 people	a9b5598c97	Change user settings to be stored in a more optimal way (#23630) ... Co-authored-by: Claire <claire.github-309c@sitedethib.com>	2023-03-30 14:44:00 +02:00