Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update wgpu backend to latest API #60

Merged
merged 3 commits into from
Aug 12, 2019
Merged

Update wgpu backend to latest API #60

merged 3 commits into from
Aug 12, 2019

Conversation

hecrj
Copy link
Owner

@hecrj hecrj commented Jun 27, 2019

Updates the wgpu backend to use the latest API. This should help us migrate to the new incoming release.

@hecrj hecrj added the improvement An internal improvement label Jun 27, 2019
@hecrj hecrj force-pushed the improvement/update-wgpu branch from cf5b875 to ec13bcb Compare June 27, 2019 01:04
This was referenced Jul 2, 2019
@hecrj hecrj self-assigned this Jul 2, 2019
@hecrj hecrj added this to the 0.4.0 milestone Jul 7, 2019
@hecrj hecrj marked this pull request as ready for review August 11, 2019 21:42
@hecrj hecrj merged commit 9d25d0a into master Aug 12, 2019
@hecrj hecrj deleted the improvement/update-wgpu branch August 12, 2019 18:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement An internal improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant