Commit 56220d1b authored 8 years ago by Vincent Massol Committed by GitHub 8 years ago

Merge branch 'master' into clear_apt

parents d452d48b 6c234442

No related branches found

No related tags found

Hide whitespace changes

Inline Side-by-side

Showing with 19 additions and 5 deletions

Please register or to comment

Consent

On this website, we use the web analytics service Matomo to analyze and review the use of our website. Through the collected statistics, we can improve our offerings and make them more appealing for you. Here, you can decide whether to allow us to process your data and set corresponding cookies for these purposes, in addition to technically necessary cookies. Further information on data protection—especially regarding "cookies" and "Matomo"—can be found in our privacy policy. You can withdraw your consent at any time.