Talk:Boulder/@comment-24233175-20160208190210/@comment-24326199-20160208190417

So far, no.

I put the default mining tools because I thought it was a bug