diff --git a/docs/history.txt b/docs/history.txt
index 9f36372cd1..53715a0eed 100644
--- a/docs/history.txt
+++ b/docs/history.txt
@@ -663,3 +663,4 @@ March 30 2013	Jen Zajac becomes the 205th developer to have a patch pushed
 March 30 2013	Karam Qubsi becomes the 206th developer to have a patch pushed
 March 30 2013	Aaron Wells becomes the 207th developer to have a patch pushed
 April 21 2013	Barry Cannon becomes the 208th developer to have a patch pushed
+April 27 2013	Stefano Bargioni becomes the 209th developer to have a patch pushed