On Thu, Sep 10, 2020 at 7:24 AM Richard Haines <richard_c_haines@xxxxxxxxxxxxxx> wrote: > > Signed-off-by: Richard Haines <richard_c_haines@xxxxxxxxxxxxxx> > --- > Part of batch 3. This is large so sent directly to Paul > > src/reference_policy.md | 1498 ++++++++++++++++++++------------------- > 1 file changed, 753 insertions(+), 745 deletions(-) Merged via the commit below, thanks Richard. commit e67de6695fdd79e345064fde3defe39860ea9f7e (HEAD -> main, github/main) Author: Richard Haines <richard_c_haines@xxxxxxxxxxxxxx> Date: Thu Sep 10 12:24:35 2020 +0100 reference_policy: Tidy up formatting Signed-off-by: Richard Haines <richard_c_haines@xxxxxxxxxxxxxx> Signed-off-by: Paul Moore <paul@xxxxxxxxxxxxxx> -- paul moore www.paul-moore.com
