Add release notes for RBTools 5.1.1.
Review Request #14255 — Created Dec. 3, 2024 and submitted — Latest diff uploaded
This is a small bug fix release that definitively fixes a bug we had
thought we already fixed in 5.1 regardingrbt patch --pxand
Subversion.
Built the docs. Checked for bad links, spelling errors, and build errors.