From 0575902fb0c08bf80ed29cb7a6b32117b95ff12c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-Philippe=20C=C3=B4t=C3=A9?= <jp@djip.co>
Date: Thu, 23 Nov 2023 15:17:36 -0500
Subject: [PATCH] Release v3.1.7

---
 package-lock.json | 4 ++--
 package.json      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/package-lock.json b/package-lock.json
index dc095d27c..f113ffafa 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "webmidi",
-  "version": "3.1.6",
+  "version": "3.1.7",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "webmidi",
-      "version": "3.1.6",
+      "version": "3.1.7",
       "license": "Apache-2.0",
       "dependencies": {
         "djipevents": "^2.0.7"
diff --git a/package.json b/package.json
index 743d8ba53..53e4e4597 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "webmidi",
-  "version": "3.1.6",
+  "version": "3.1.7",
   "description": "WEBMIDI.js makes it easy to talk to MIDI instruments from a browser or from Node.js. It simplifies the control of external or virtual MIDI instruments with functions such as playNote(), sendPitchBend(), sendControlChange(), etc. It also allows reacting to incoming MIDI messages by adding listeners for user-friendly events such as 'noteon', 'pitchbend', 'songposition', etc.",
   "main": "./dist/cjs/webmidi.cjs.min.js",
   "types": "./dist/cjs/webmidi.cjs.d.ts",