mirror of
https://github.com/google/brotli.git
synced 2026-07-08 17:56:58 +00:00
[PR #250] [MERGED] Suggested RFC changes #848
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/google/brotli/pull/250
Author: @dsnet
Created: 11/2/2015
Status: ✅ Merged
Merged: 11/2/2015
Merged by: @szabadka
Base:
master← Head:draft📝 Commits (4)
902e815Fix formatting, section references, and grammar1a50dc9fix formatting of Section 12.2421ed9Clarify pseudo-code in Section 10.ce2bb01Revert accidental deletion in Section 10.📊 Changes
1 file changed (+77 additions, -43 deletions)
View changed files
📝
docs/draft-alakuijala-brotli-07.nroff(+77 -43)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.