Wuzzy <almikes@aol.com> [Sun, 08 Oct 2017 20:24:58 +0200] rev 12676
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.