Both patches looks good.
Thank you.
Chris
On 5/8/19 11:33 pm, Sebastian Huber wrote:
> ---
> common/rtemsdomain.py | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/common/rtemsdomain.py b/common/rtemsdomain.py
> index 8bd976f..49d0728 100644
> --- a/common/rtemsdomain.py
> +++ b/common/rtemsdomain.py
> @@ -51,7 +51,7 @@ role_list = {
> "announce": ("Announce Mailing List",
> "https://lists.rtems.org/mailman/listinfo/announce/";),
> "bugs": ("Bugs Mailing List",
> "https://lists.rtems.org/mailman/listinfo/bugs/";),
> "devel": ("Developers Mailing List",
> "https://lists.rtems.org/mailman/listinfo/devel/";),
> - "build": ("Build logs",
> "https://lists.rtems.org/mailman/listinfo/build";),
> + "build": ("Build Logs",
> "https://lists.rtems.org/mailman/listinfo/build";),
> "users": ("Users Mailing List",
> "https://lists.rtems.org/mailman/listinfo/users/";),
> "vc": ("Version Control Mailing List",
> "https://lists.rtems.org/mailman/listinfo/vc/";),
> }
>
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
