Fix Qiancheng's name in credits.rst (#247)

BerkeleyLearnVerify · Apr 27, 2024 · 9da70c3 · 9da70c3
1 parent d846a15
commit 9da70c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/credits.rst b/docs/credits.rst
@@ -32,6 +32,7 @@ The Scenic tool and example scenarios have benefitted from additional code contr
 	* Jay Shenoy
 	* Mirco Theile
 	* Kesav Viswanadha
+	* Qiancheng Wu
 	* Wilson Wu
 
 Finally, many other people provided helpful advice and discussions, including:
@@ -45,5 +46,4 @@ Finally, many other people provided helpful advice and discussions, including:
 	* Sriram Rajamani
 	* German Ros
 	* Marcell Vazquez-Chanlatte
-	* Qiangcheng Wu
 	* everyone who has reported bugs at our `GitHub repository <https://github.com/BerkeleyLearnVerify/Scenic/issues>`_.