Merge branch 'devel' into devel

.all-contributorsrc

@@ -135,7 +135,8 @@
       "avatar_url": "https://avatars.githubusercontent.com/u/72869337?v=4",
       "profile": "https://github.com/Shubhangi-dell",
       "contributions": [
-        "code"
+        "code",
+        "maintenance"
       ]
     },
     {