mempool: drop the file name in the top of file comment

Mentioning the name of the file is redundant, so drop it.

Signed-off-by: Christoph Hellwig <hch@lst.de>
Link: https://patch.msgid.link/20251113084022.1255121-12-hch@lst.de
Signed-off-by: Vlastimil Babka <vbabka@suse.cz>
This commit is contained in:
Christoph Hellwig 2025-11-13 09:39:52 +01:00 • committed by Vlastimil Babka
commit 07723a41ee