Completed
Pull Request — master (#454)
by
unknown
03:09 queued 01:51
created

No notable changes

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

10
▶   ± 0
Head
Andreas Jaggi  
Merge 0c4db673e7e6c551909d2385b7ad6f9f4ebcaf0d into dee0355e5b49213097aaa8cb351edf15a46a3d20
1 more commit
Base
Mark Beech  
Merge pull request #443 from peter279k/correct_file_permissions