Re: [w3c/manifest] Editorial: switch completely to infra types (#992) from Marcos Cáceres on 2021-08-11 (public-webapps-github@w3.org from August 2021)

From: Marcos Cáceres <notifications@github.com>
Date: Wed, 11 Aug 2021 00:14:44 -0700
To: w3c/manifest <manifest@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/manifest/pull/992/push/7699054764@github.com>

@marcoscaceres pushed 1 commit.

4557146d5fe2f15e14b7b6879565ea131dcca3e0  Merge branch 'gh-pages' into better_infra


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/w3c/manifest/pull/992/files/4088cfc2d0722a080337be5f27d7bcdadac76ede..4557146d5fe2f15e14b7b6879565ea131dcca3e0

Received on Wednesday, 11 August 2021 07:14:56 UTC