Incorrect instructions for Topic extension
The following discussion from !91 (merged) should be addressed:
-
@mforbes started a discussion: (+1 comment) This should be
topic =
nottopics =
. @dan What is the appropriate procedure for correcting a merged PR? I assume I should create another?