20170613.1: Merge pull request #236 from glogiotatidis/resolution
·
1640 commits
to master
since this release
[fix bug 1371258] Filter snippets based on vertical screen resolution.