mirror of
https://github.com/google/brotli.git
synced 2026-09-22 06:35:52 +00:00
[PR #434] [MERGED] Update research #1050
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/434
Author: @eustas
Created: 9/22/2016
Status: ✅ Merged
Merged: 9/22/2016
Merged by: @eustas
Base:
master← Head:master📝 Commits (1)
dd8fa3eUpdate research📊 Changes
7 files changed (+60 additions, -54 deletions)
View changed files
📝
Makefile(+5 -4)📝
research/Makefile(+1 -1)📝
research/draw_diff.cc(+8 -3)📝
research/draw_histogram.cc(+19 -19)📝
research/find_opt_references.cc(+7 -3)📝
research/read_dist.h(+20 -10)➖
tools/version.h(+0 -14)📄 Description
assertwhen side-effect is desiredgflagsto pick options from argsOther changes:
Makefileto do partial rebuildtools/version.h🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.