documentation: mining-worker.md -> mining-lotus-seal-worker.md

This commit is contained in:
@wwwjim 2019-12-18 11:11:18 -08:00
parent e12c32512c
commit eb73a4f116