Bump latest version mentioned in manual to 1.3

tweag · Nov 16, 2023 · 01ea842 · 01ea842
1 parent f36684e
commit 01ea842
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/manual/introduction.md b/doc/manual/introduction.md
@@ -74,7 +74,7 @@ website.
 
 ## Current state and roadmap
 
-Nickel is currently released in version `1.2`. We expect the core design of the
+Nickel is currently released in version `1.3`. We expect the core design of the
 language to be stable and the language to be useful for real-world applications.
 The next steps we plan to work on are: