Merge branch 'main' into settings-file

2022-03-11 10:04:17 -08:00
parent 022bb28a59 fd36b25db1
commit 6091caee8e
25 changed files with 858 additions and 227 deletions
@@ -5853,6 +5853,7 @@ dependencies = [
 "project",
 "serde",
 "serde_json",
+ "smallvec",
 "theme",
 "util",
 ]