Merge pull request #936 from nico/cleanup
authorNico Weber <nicolasweber@gmx.de>
Thu, 19 Mar 2015 03:56:28 +0000 (20:56 -0700)
committerNico Weber <nicolasweber@gmx.de>
Thu, 19 Mar 2015 03:56:28 +0000 (20:56 -0700)
commite1f9c8d8534374b37dfcfc6772ad22a88b32ef85
tree64262419ca129e38ae5df67194505d1ed8e4aa7f
parent717619a260633ca0e7c9eb2366130fc06ebacfff
parentbc38ef76ebfabe503b1b56a1e32827a851037766
Merge pull request #936 from nico/cleanup

Minor cleanups. No behavior change.