Peter Maydell <[email protected]> writes:
> Move the pr-manager documentation into the system manual. > Some of it (the documentation of the pr-manager-helper tool) > should be in tools, but we will split it up after moving it. > > Signed-off-by: Peter Maydell <[email protected]> Reviewed-by: Alex Bennée <[email protected]> -- Alex Bennée
