[Rt-commit] rt branch 4.2.17-releng deleted. rt-4.2.17

[BPS Git Server]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "rt".

The branch, 4.2.17-releng has been deleted
       was  1fd0c7614d6a204878f01f7c9b3578812df2faae

- Log -----------------------------------------------------------------
1fd0c7614d6a204878f01f7c9b3578812df2faae Merge branch 'security/4.2/timing-side-channel' into security/4.2.17-releng
-----------------------------------------------------------------------


hooks/post-receive
-- 
rt