Re: [w3c/manifest] chore: export some terms needed by Badging (#823) from Marcos Cáceres on 2020-03-31 (public-webapps-github@w3.org from March 2020)

From: Marcos Cáceres <notifications@github.com>
Date: Mon, 30 Mar 2020 21:06:19 -0700
To: w3c/manifest <manifest@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/manifest/pull/823/push/4842438232@github.com>

@marcoscaceres pushed 1 commit.

f8e830e7a9f3ba267d23b0747399e229cb595859  Merge branch 'gh-pages' into export


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/w3c/manifest/pull/823/files/9c64dc75b975058fac3d4a27c22e2cd6443b2795..f8e830e7a9f3ba267d23b0747399e229cb595859

Received on Tuesday, 31 March 2020 04:06:34 UTC