On Tue, 12 Dec 2017 11:13:10 +0000 Chris Down <[email protected]> wrote:
> Since now both would be stored in the git history, this would > actually increase the size of the repo, so I'm not sure I see the > benefit of this. Smaller release tarballs? -- Laslo Hunhold <[email protected]>
