tree 8a0bcfc3fdf32a51af4794d16e73b974b61f96df
parent 6c90573b421f83ac97c3ced025299676646c3e8a
parent 3bb611c88b64262260f05bd93bcd37f4b64b53a6
author Ondrej Smola <smolaon@gmail.com> 1490370902 +0100
committer GitHub <noreply@github.com> 1490370902 +0100

Merge pull request #211 from jiribroulik/lgtm-prod-updates-repositories

repos fixes