Skip to content
This repository has been archived by the owner on Mar 12, 2021. It is now read-only.

Implement minimal part of the aliasing APIs. #592

Merged
merged 1 commit into from
Feb 17, 2020
Merged

Implement minimal part of the aliasing APIs. #592

merged 1 commit into from
Feb 17, 2020

Conversation

maleadt
Copy link
Member

@maleadt maleadt commented Feb 17, 2020

Fixes #590, #133

@maleadt maleadt merged commit 75bf915 into master Feb 17, 2020
@bors bors bot deleted the tb/aliasing branch February 17, 2020 16:11
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
1 participant