Completed
Pull Request — master (#25)
by Emir
01:21
created

No notable changes

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

9.86
▶   ± 0
Head
Emir Beganović  
Merge 340868536855dadb74331e32ca9fb17369190b96 into 55c47cfdd7faeb6736bb78568108e60c2f6a717b
4 more commits
Base
Sylvain Lorinet  
Merge pull request #23 from wpj-cz/fix_undefined_installation-source