ci: Release scripts [skip ci]

## [1.4.12](v1.4.11...v1.4.12) (2023-04-05) ### Bug Fixes * **connected-users:** fix histogram pointer event handling ([#608](#608)) ([0494352](0494352))
mjpieters · Apr 5, 2023 · b0a0c15 · b0a0c15
1 parent 0494352
commit b0a0c15
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/dist/bookmark-users.meta.js b/dist/bookmark-users.meta.js
@@ -1,7 +1,7 @@
 // ==UserScript==
 // @name        Bookmark Users
 // @description Shows what user bookmarked a question. Fetches the bookmarking users from the StackExchange data explorer (data can be up to a week old)
-// @version     1.4.11
+// @version     1.4.12
 // @author      Martijn Pieters
 // @homepage    https://github.com/mjpieters/SO-userscripts/tree/main/scripts/bookmark-users
 // @supportURL  https://github.com/mjpieters/SO-userscripts/issues?q=is:issue+is%3Aopen+label:bookmark-users