Completed
Pull Request — master (#455)
by
unknown
09:02 queued 02:51
created

No notable changes

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

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