This bug was fixed in Git by Joerg Jaspert in commit
b67ca0d4972df8d70c044f3890b0b148a43c8923:

make_maintainers.py: Support creating an uploaders index, closes: #120262

Signed-off-by: Joerg Jaspert <[email protected]>

Awesome, thanks!

I've noticed that the index lists the maintainers too, not sure if that's intended or not.

Best,
Emilio



--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to