diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-18 10:09:28 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-18 11:31:49 +0100 |
commit | a14237fc1580b09f8772cd3330b0a445785e48ac (patch) | |
tree | bd49df2949991e9f53caeb47dba7f8cb1a661615 /log/build.log | |
parent | 76deb3739d563068ccd4637afa8933d6ddbc70ef (diff) |
Round parameters with signif() before printing
This will hopefully make the test pass on all relevant platforms.
Diffstat (limited to 'log/build.log')
-rw-r--r-- | log/build.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/log/build.log b/log/build.log index c4f9b8a2..6be01938 100644 --- a/log/build.log +++ b/log/build.log @@ -5,5 +5,5 @@ * creating vignettes ... OK * checking for LF line-endings in source and make files and shell scripts * checking for empty or unneeded directories -* building ‘mkin_1.2.0.tar.gz’ +* building ‘mkin_1.2.1.tar.gz’ |