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

propensive · propensive · commit 372be89b4da4 · 2025-01-15T17:29:09.000+01:00
diff --git a/.github/readme.md b/.github/readme.md
@@ -218,7 +218,7 @@ as long as caution is taken to avoid a mismatch between the project's stability
 level and the required stability and maintainability of your own project.
 
 Probably is designed to be _small_. Its entire source code currently consists
-of 844 lines of code.
+of 843 lines of code.
 
 ## Building
 
diff --git a/doc/lines.md b/doc/lines.md
@@ -1 +1 @@
-844
+843
