Skip to content

Rename Content-{Length,Type} → Patch-{Length,Type}#114

Closed
toomim wants to merge 5 commits intomasterfrom
content-patch
Closed

Rename Content-{Length,Type} → Patch-{Length,Type}#114
toomim wants to merge 5 commits intomasterfrom
content-patch

Conversation

@toomim
Copy link
Member

@toomim toomim commented Aug 19, 2023

Here's a quick draft for issue #97, to explore renaming:

  • Content-LengthPatch-Length
  • Content-TypePatch-Type

...within any patch inside of a Patches: N update.

We still aren't sure whether to change Content-RangePatch-Range.


Note: The relevant commit is d250ecd. Ignore the others—this PR was accidentally combined with #113.

@toomim toomim closed this Aug 21, 2023
@toomim
Copy link
Member Author

toomim commented Aug 21, 2023

I'm replacing this PR with #120

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.

1 participant