coding ide version changed to 1.0.72

Author: tommygonzaleza

learn.json

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