Commit 85d47d07d676b8bca1d98efee45d25af011a813b Parent 89c8d703d258cef7cbe566eab537fb8f30aad7ed Author John MacFarlane <jgm@berkeley.edu> Date Tue, 11 Oct 2016 14:50:58 +0200 'make format': don't change order of includes.