diff options
author | Jakob Unterwurzacher | 2016-01-19 22:56:33 +0100 |
---|---|---|
committer | Jakob Unterwurzacher | 2016-01-19 23:01:21 +0100 |
commit | 843238224459ec8ca44980782d42eef7e7090ff6 (patch) | |
tree | c2c34841073c4f3fcd8ca3dbebe9688158e4bbc7 /Documentation | |
parent | b3c9a275c73d89cf0af4dd57daf9ffbcb2a2d891 (diff) |
Update README for v0.7.2v0.7.2
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/performance.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/performance.txt b/Documentation/performance.txt index 84853d6..df8c04f 100644 --- a/Documentation/performance.txt +++ b/Documentation/performance.txt @@ -15,3 +15,4 @@ v0.5-rc1-1 54 4.1 9 v0.5-rc1-2 45 1.7 3.4 v0.6 47 1.8 4.3 v0.7 43 1.7 4.3 +v0.7.2 26 1.8 4.3 |