update(tools): bump driver version in the website

Signed-off-by: Andrea Terzolo <[email protected]>

tools/update-drivers-website/index.html

@@ -91,7 +91,7 @@
         var url = new URL(window.location);
         var lib = url.searchParams.get('lib');
         if (lib == null) {
-            lib = "7.0.0+driver";
+            lib = "7.2.0+driver";
             url.searchParams.set('lib', lib);
         };
         var target = url.searchParams.get('target')