Fix double events (#245)#251

Merged

mikeller merged 2 commits intomasterfrom

Oct 10, 2019

Commits on Oct 6, 2019

line endings normalized
raphaelcoeffic
committed

Commits on Oct 9, 2019

kill events generated after a MINUS
raphaelcoeffic
committed