Haven't played in a while, back in the days I used a miner with a pump attached to it to pump out a lava lake.
 However now the miner just goes straight down and doesn't wait for the pump to remove all the lava in a radius.
 Is this behaviour intended or is it a bug?
Thanks
 
		 
		
		
	