From 1cfb3fc840b1d7ad3fb36576ffe166ee1af04e01 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Sat, 28 Sep 2019 18:12:21 +0100
Subject: [PATCH] Bump version 0.4.2

After PHP interface change, useful for WebAuthn

Change-Id: I37e53c9a67f7591b5f2a41afaf96695d99a60867
---
 extension.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extension.json b/extension.json
index 3b7e5540..a8ad8087 100644
--- a/extension.json
+++ b/extension.json
@@ -1,6 +1,6 @@
 {
 	"name": "OATHAuth",
-	"version": "0.4.1",
+	"version": "0.4.2",
 	"author": [
 		"Ryan Lane",
 		"Robert Vogel <vogel@hallowelt.com>",