fix: fix crash with SpoonException in sniper mode (#3205)#5

Merged

moraispgsi merged 1 commit intoTQRG:masterfrom INRIA:master

Feb 8, 2020

+108-8

Commits on Feb 3, 2020

fix: fix crash with SpoonException in sniper mode (#3205 )
woutersmeenk
authored