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

propensive · May 12, 2023 · 94d1d88 · 94d1d88
2 parents 0e063d9 + 2fdff35
commit 94d1d88
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 658 lines of code.
+of 659 lines of code.
 
 ## Building