tree efa5031e036185731035124163777796d440e605
parent 0f3567ea770976665cf7ab9d4192f36ae13c7405
author Steve Reinhardt <stever@eecs.umich.edu> 1118425730 -0400
committer Steve Reinhardt <stever@eecs.umich.edu> 1118425730 -0400

Minor fixes to release scripts.

--HG--
extra : convert_revision : 134e5281cafb2275277434132d3721bdba16c0ed