minelayer 1.3 released