From mboxrd@z Thu Jan  1 00:00:00 1970
Subject: Re: [edk2-devel] [PATCH v1 1/1] ArmPlatformPkg/Scripts: Create add-symbol-file commands from UEFI console
To: PierreGondois <pierre.gondois@arm.com>,devel@edk2.groups.io
From: "PierreGondois" <pierre.gondois@arm.com>
X-Originating-Location: Cambridge, England, GB (217.140.106.13)
X-Originating-Platform: Linux Firefox 89
User-Agent: GROUPS.IO Web Poster
MIME-Version: 1.0
Date: Fri, 09 Jul 2021 02:02:59 -0700
References: <15269.1624373389038581221@groups.io>
In-Reply-To: <15269.1624373389038581221@groups.io>
Message-ID: <11633.1625821379647607572@groups.io>
Content-Type: multipart/alternative; boundary="wg8Toq9tDODBnKz8ke6h"

--wg8Toq9tDODBnKz8ke6h
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

More formally:

Tested-by: Pierre Gondois <Pierre.Gondois@arm.com>

--wg8Toq9tDODBnKz8ke6h
Content-Type: text/html; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

<p>More formally:</p>
<p>Tested-by: Pierre Gondois &lt;Pierre.Gondois@arm.com&gt;</p>

--wg8Toq9tDODBnKz8ke6h--