*** empty log message ***

[splint.git] / src / lastversion

diff --git a/src/lastversion b/src/lastversion
index 976815aecb41d03d2bec104b1ffd5795fdd6e393..e183fe879e260c61a960cd4ae2c7dfd3926bb065 100644 (file)
--- a/src/lastversion
+++ b/src/lastversion
@@ -1 +1 @@
-3.0.0.7
+3.0.0.8