Re: [RESULT] [VOTE] FLIP-156: Runtime Interfaces for Fine-Grained Resource Requirements

2021-02-03 Thread Yangze Guo
Edit: The voting time of FLIP-156[1] has passed. Best, Yangze Guo On Thu, Feb 4, 2021 at 1:25 PM Yangze Guo wrote: > > Hi all, > > The voting time for changing the Public API of FLIP-156[1] has passed. > I'm closing the vote now. > > There were five +1 votes, 4 of which are binding: > > -

[RESULT] [VOTE] FLIP-156: Runtime Interfaces for Fine-Grained Resource Requirements

2021-02-03 Thread Yangze Guo
Hi all, The voting time for changing the Public API of FLIP-156[1] has passed. I'm closing the vote now. There were five +1 votes, 4 of which are binding: - Xintong Song (binding) - Till (binding) - Chesnay (binding) - Yang Wang (non-binding) - Zhu Zhu (binding) There were no -1 votes. Thus,