impermeable
diff --git a/‎package-lock.json‎
Lines changed: 1 addition & 1 deletion b/‎package-lock.json‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎package.json‎
Lines changed: 1 addition & 1 deletion b/‎package.json‎
Lines changed: 1 addition & 1 deletion
@@ -1,6 +1,6 @@
 {
   "name": "waterproof",
-  "version": "0.5.7",
+  "version": "0.5.8",
   "private": true,
   "description": "The Waterproof proof assistant.",
   "main": "background.js",
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "waterproof",`
`3`		`- "version": "0.5.7",`
	`3`	`+ "version": "0.5.8",`
`4`	`4`	`"private": true,`
`5`	`5`	`"description": "The Waterproof proof assistant.",`
`6`	`6`	`"main": "background.js",`