mirror of
https://github.com/google/brotli.git
synced 2026-09-24 15:46:13 +00:00
[PR #648] [CLOSED] sources: Fix missing params header #1300
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/648
Author: @wkennington
Created: 3/13/2018
Status: ❌ Closed
Base:
master← Head:missing-params📝 Commits (1)
610b72dsources: Fix missing params header📊 Changes
1 file changed (+1 additions, -0 deletions)
View changed files
📝
scripts/sources.lst(+1 -0)📄 Description
Without the params header being listed we can't generate a working dist
tarball using autotools since it requires all of the sources be
explicitly specified.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.