diff --git a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
index 997edc5bda..9befa8ea67 100644
--- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
+++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
@@ -2982,7 +2982,7 @@ This function sets @racket[dc-for-text-size]. See also
 @racket[metafunction->pict] and
 @racket[metafunctions->pict].
 
-@history[#:changed "1.2" @list{Added @racket[#:contract?] keyword argument.}]
+@history[#:changed "1.3" @list{Added @racket[#:contract?] keyword argument.}]
 }
 
 @defform[(metafunction->pict metafunction-name)]{
diff --git a/pkgs/redex-pkgs/redex-lib/info.rkt b/pkgs/redex-pkgs/redex-lib/info.rkt
index d256bbd763..4fb1c7e5eb 100644
--- a/pkgs/redex-pkgs/redex-lib/info.rkt
+++ b/pkgs/redex-pkgs/redex-lib/info.rkt
@@ -18,4 +18,4 @@
 
 (define pkg-authors '(robby bfetscher))
 
-(define version "1.2")
+(define version "1.3")