Fix typo in verision tagging CI.

Signed-off-by: Henner Zeller <h.zeller@acm.org>

.github/workflows/ci.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8242d83..95737de 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -95,7 +95,7 @@
     - name: Tag with Makefile version if not already.
       run: |
         git config --local user.name "Development Bot"
-        git config --local user.email f4pga-dev@chipsalliance.org"
+        git config --local user.email "f4pga-dev@chipsalliance.org"
 
         # We want to tag whenever the version in the Makefile changes.
         # So extract the hash of when the current version was entered.

Makefile

diff --git a/Makefile b/Makefile
index d3520b8..392f966 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@
 # The CI will automatically tag the release with v${PLLUGIN_VERSION}
 #
 # TODO: pass as -D to gcc so that modules can provide e.g. --version flags.
-PLUGIN_VERSION = 1.20230419
+PLUGIN_VERSION = 1.20230425
 
 PLUGIN_LIST := fasm xdc params sdc ql-iob design_introspection integrateinv ql-qlf systemverilog uhdm dsp-ff
 PLUGINS := $(foreach plugin,$(PLUGIN_LIST),$(plugin).so)