Skip to content

Conversation

mheinzel
Copy link
Contributor

This was unused already since #1261. Now the only thing remaining is to move a few API types from opaque IDs to qualified IDs.

Copy link
Member

@jschaul jschaul left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🐸

Copy link
Member

@jschaul jschaul left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah CI is right: the file V62_ is missing in the commit.

@mheinzel mheinzel force-pushed the mheinzel/remove-id-mapping branch from 8004d1f to c83cbdf Compare December 15, 2020 11:02
Copy link
Member

@jschaul jschaul left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All green now!

@mheinzel mheinzel merged commit 3d16ea7 into develop Dec 15, 2020
@mheinzel mheinzel deleted the mheinzel/remove-id-mapping branch December 15, 2020 14:33
@fisx fisx mentioned this pull request Dec 21, 2020
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