-
Edward Z. Yang authored
I got sucked into this rathole while puzzling over why we pass both 'PackageDescription' and 'LocalBuildInfo' (which has a 'PackageDescription' in 'localPkgDescr'). The conclusion is that they were different, but not for a good reason. Now they're the same. Added docs fixes #1757. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
30836c46