design-autorepair.rst: separate list of jobs with plus sign
Commas are not valid characters in tags, hence they can't be use to separate the different job IDs; plus signs (+) are available, and not too bad. Signed-off-by:Dato Simó <dato@google.com> Reviewed-by:
Iustin Pop <iustin@google.com>
Please register or sign in to comment