I wouldn't follow that advice! The sawdust will decompose and you will be left with hole that will have to filled.
The sawdust should have been removed when they ground the stump.
Fill it with a suitable soil that won't sink down and seed it with grass seed!
The sawdust should have been removed when they ground the stump.
Fill it with a suitable soil that won't sink down and seed it with grass seed!