diff options
author | Costa Tsaousis <costa@tsaousis.gr> | 2016-09-29 11:22:54 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-29 11:22:54 +0300 |
commit | a413b46d1abff0d78aaa104d14951c94ee580c18 (patch) | |
tree | ebacd757dd16c70b03d615da05a811d85d192666 /coverity-scan.sh | |
parent | 5341860ac281c7aca2c453701faa8dc07bb439f3 (diff) | |
parent | 7a35442ff7f7de4c4a00496068eb60ef8a8b40f7 (diff) |
Merge pull request #1044 from ktsaou/master
prevent past CLEAR notifications; fixes #1035
Diffstat (limited to 'coverity-scan.sh')
0 files changed, 0 insertions, 0 deletions