Add missing wiring_private.h

Forgot to `git add` a wiring file.  Fixes #11

cores/rp2040/wiring_private.h

@@ -0,0 +1 @@
+/* dummy */

package.json

@@ -2,5 +2,5 @@
     "name": "framework-arduinopico",
     "description": "Arduino Wiring-based Framework (RPi Pico RP2040)",
     "url": "https://github.com/esrlephilhower/arduino-pico",
-    "version": "0.0.1-dev"
+    "version": "0.9.2"
 }

package/build_boards_manager_package.sh

@@ -187,6 +187,8 @@ for json in ${MOREJSONPACKAGES}; do
     fi
 done
 
+mv tmp $new_json
+
 # Verify the JSON file can be read, fail if it's not OK
 set -e
 cat $new_json | jq empty

platform.txt

@@ -20,7 +20,7 @@
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
 name=Raspberry Pi RP2040 Boards
-version=0.9.1
+version=0.9.2
 runtime.tools.pqt-gcc.path={runtime.platform.path}/system/arm-none-eabi
 runtime.tools.pqt-python3.path={runtime.platform.path}/system/python3
 runtime.tools.pqt-mklittlefs.path={runtime.platform.path}/system/mklittlefs