Skip to content

Remove duplicated text in the expansion algorithm. - #249

Merged
gkellogg merged 1 commit into
masterfrom
issue243
Dec 18, 2019
Merged

gkellogg merged 1 commit into
masterfrom
issue243

Conversation

@gkellogg

@gkellogg gkellogg commented Dec 17, 2019 •

Copy link
Copy Markdown
Member

@kasei, please indicate if this satisfies the issue you raised in #243.


Preview | Diff

@gkellogg
gkellogg requested review from iherman and pchampin December 17, 2019 22:11
Comment thread index.html Outdated
</ul>
</section>
<section class="appendix informative" id="changes-from-cr">
<h2>Changes since Candidate Release of 12 November 2019</h2>

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should be December 12

@gkellogg
gkellogg merged commit 3838d3c into master Dec 18, 2019
@gkellogg
gkellogg deleted the issue243 branch December 18, 2019 18:34
@kasei

kasei commented Dec 18, 2019

Copy link
Copy Markdown
Contributor

Looks good, thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants