Merge branch 'main' of github.com:propensive/probably

propensive · Apr 27, 2023 · 87261e5 · 87261e5
2 parents 6824aac + 1e79bf1
commit 87261e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/readme.md b/readme.md
@@ -213,7 +213,7 @@ be used, but caution should be taken if there is a mismatch between the
 project's stability level and the importance of your own project.
 
 Probably is designed to be _small_. Its entire source code currently consists
-of 591 lines of code.
+of 594 lines of code.
 
 ## Building