a.patch

diff --git a/scripts/release.py b/scripts/release.py
index 28370c66..bc5234e7 100755
--- a/scripts/release.py
+++ b/scripts/release.py
@@ -395,12 +395,12 @@ def docs_update_dev_version():
     os.chdir("../")
 
 
-def publish_dev():   
+def publish_dev_and_master():   
     pub_cmd = "git checkout dev; git push origin dev"
     cmd("cd lvgl; " + pub_cmd)    
+    pub_cmd = "git checkout master; git push origin master"
+    cmd("cd lvgl; " + pub_cmd)    
 
-    pub_cmd = "git checkout dev; git push origin dev"
-    cmd("cd docs; " + pub_cmd)    
     cmd("cd docs; git checkout master; ./update.py latest dev")
 
 def cleanup():
@@ -463,7 +463,7 @@ if __name__ == '__main__':
 
         lvgl_update_dev_version()
         docs_update_dev_version()
-        publish_dev()
+        publish_dev_and_master()
         
     cleanup()