Skip to content
Unverified Commit 7edda015 authored by Andrea Orlati's avatar Andrea Orlati Committed by GitHub
Browse files

Merge pull request #713 from discos/stable 

Porting latest hot-fixes into master
parents e96e6b92 5cbd0a53
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment