Completed
Pull Request — master (#45)
by
unknown
07:29 queued 04:40
created

No notable changes

There were no notable changes in the changeset which was inspected.

7.94
▶   ± 0
Test Coverage
87%
▶ ±0%
Head
Philipp Bogensberger  
Merge 35e05ae2f68987cf80693a8e7a32b79d80a46391 into aa7ebea6a0ffc42bfd2c34e4a4d96cbc4ea267f3
4 more commits
Base
Philipp Bogensberger  
check VERSION in docs/installation in create_tag script