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

propensive · Dec 7, 2023 · d26c98b · d26c98b
2 parents aea1221 + 95bdeb7
commit d26c98b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/readme.md b/readme.md
@@ -212,7 +212,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 783 lines of code.
+of 779 lines of code.
 
 ## Building