[Rt-commit] rt branch 5.0/remove-rt-name-from-menu deleted. rt-5.0.4-7-g2942dbc701

BPS Git Server git at git.bestpractical.com
Tue May 16 13:02:16 UTC 2023


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, 5.0/remove-rt-name-from-menu has been deleted
       was  2942dbc70105255b1603deca2056c5f0533e9bad

- Log -----------------------------------------------------------------
2942dbc70105255b1603deca2056c5f0533e9bad Remove RT name info from the user menu
-----------------------------------------------------------------------


hooks/post-receive
-- 
rt


More information about the rt-commit mailing list