Mine over raet
Merge pull request #13936 from cachedout/mine_raet

Mine over raet