Skip to content

coordijk.cc: Remove old TODO comments#792

Merged
nrabinowitz merged 1 commit into
uber:masterfrom
heshpdx:master
Oct 24, 2023
Merged

coordijk.cc: Remove old TODO comments#792
nrabinowitz merged 1 commit into
uber:masterfrom
heshpdx:master

Conversation

@heshpdx

@heshpdx heshpdx commented Oct 23, 2023

Copy link
Copy Markdown
Contributor

In #790 @nrabinowitz pointed out some comments that are now deprecated. Removed them here.

@coveralls

Copy link
Copy Markdown

Coverage Status

coverage: 98.657%. remained the same when pulling fa33dfe on heshpdx:master into 693d084 on uber:master.

@nrabinowitz nrabinowitz merged commit 4618c83 into uber:master Oct 24, 2023
isaacbrodsky added a commit to isaacbrodsky/h3 that referenced this pull request Oct 24, 2023
isaacbrodsky added a commit that referenced this pull request Oct 25, 2023
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.

5 participants