Thanks! Pushed as 8cfdd64c3797bd014ad742bd4bd994d647ced985. P.S. Can you create your patches with git format-patch in the future? That saves reviewers some time, so that they don't have to retype the commit message and find your author line and change the author of the commit ;)
- [PATCH] gnu: dtc: Update to 1.4.2. Remove patches sinc... Danny Milosavljevic
- Re: [PATCH] gnu: dtc: Update to 1.4.2. Remove pat... David Craven