coding ide version changed to 1.0.72

Author: tommygonzaleza

learn.json

@@ -9,7 +9,7 @@
     "graded": true,
     "config": {
         "editor": {
-            "version": "1.0.71"
+            "version": "1.0.72"
         }
     }
 }