@eht16 commented on this pull request.
On index/index.json:
Not necessary, master has already an updated index (see #58).
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.