Baystation12/Baystation12 — pull request #4253 by SkyMarshal (2014-01-10 00:28:07+00:00)
Title: Fix for mining.

Fixes #4249