Board Thread:News and Announcements/@comment-3221148-20171113172739/@comment-1827503-20171119085641

Anyone in favor of spinning off the Savitar merge proposal into a separate thread? The "do we merge Savitar" question is irrelevant to the page name policy.