Re: [w3c/manifest] Drop WebIDL enums (#899)

@mgiuca First of all, thanks for your feedback! I’ve seen your changes in #750 after I created this PR, are they related somehow?

> Yeah, I'm not on board on this. My plan is to switch to infra types, but once we do the other more important stuff...

@marcoscaceres Alright, let's talk about this on Monday. 😇

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/manifest/pull/899#issuecomment-642485377

Received on Thursday, 11 June 2020 08:08:17 UTC