[Rt-commit] rt branch, 4.2/public-user-history, deleted. rt-4.1.8-578-g1fc1376

[Ruslan Zakirov]

The branch, 4.2/public-user-history has been deleted
       was  1fc13763715bcc52ee8cd4b663e1198e0b8abdb8

-----------------------------------------------------------------------
1fc13763715bcc52ee8cd4b663e1198e0b8abdb8 Recurse into CurrentUserCanSee as a refinement over "is it public"
-----------------------------------------------------------------------