Musannaf Ibn Abi Shaybah 32252 — Marking tenths in the mushaf

Mughirah said that Ibrahim considered it disliked to put dots in the mushaf, and to put a mark of such-and-such kind at the end of a surah.