[Rt-commit] rt branch, 4.2/upgrade-and-policy, deleted. rt-4.2.9-23-g8c11b51

[Wallace Reis]

The branch, 4.2/upgrade-and-policy has been deleted
       was  8c11b519ee09ab43713097f4d0f4d85ab247fc0c

-----------------------------------------------------------------------
8c11b519ee09ab43713097f4d0f4d85ab247fc0c Replace hardcoded paths with configure-time paths when possible
-----------------------------------------------------------------------