Wuzzy <almikes@aol.com> [Sun, 08 Oct 2017 20:24:58 +0200] rev 12681
No longer jiggle sticky mines if using portable portal device
This fixes the sticky mine sound playing when using portal gun while any sticky mine is placed on ground.
We decided that placed sticky mines can't be teleported.