diff --git a/P/ProxAL/Versions.toml b/P/ProxAL/Versions.toml
index 0dbf90dbc9621d2..99119250e2d36a5 100644
--- a/P/ProxAL/Versions.toml
+++ b/P/ProxAL/Versions.toml
@@ -36,3 +36,6 @@ git-tree-sha1 = "1c989ee5d5f0ca4f0eabcc3824ba76a5e5b0cb71"
 
 ["0.9.2"]
 git-tree-sha1 = "aad851b5691b8db5dd435ea71f14d90185d01999"
+
+["0.9.3"]
+git-tree-sha1 = "b167876481995976d4acfc19b287746676e085a9"