Add VERSION file for 0.7.2

This commit is contained in:

Alexander Neumann

2017-09-13 17:14:26 +02:00

parent e243d4b7ee

commit 4d80744cbb

1 changed files with 1 additions and 1 deletions

 @ -1 +1 @@
 .7.1
 .7.2