Skip to content

Comments

Add ref.is_null item#578

Merged
dtig merged 1 commit intomasterfrom
rossberg-patch-1
Jun 8, 2020
Merged

Add ref.is_null item#578
dtig merged 1 commit intomasterfrom
rossberg-patch-1

Conversation

@rossberg
Copy link
Member

@rossberg rossberg commented Jun 8, 2020

No description provided.

@dtig
Copy link
Member

dtig commented Jun 8, 2020

With the removal of the Await proposal discussion, we should have time for this in the 06/09 meeting. Merging this in with a note that this may get bumped to 06/23 in case we don't get to it.

@dtig dtig merged commit 4a34d52 into master Jun 8, 2020
@dtig dtig deleted the rossberg-patch-1 branch June 8, 2020 16:18
yoshuawuyts pushed a commit that referenced this pull request Dec 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants