Skip to content

Misc ProxyGenerator changes#131

Merged
inducer merged 5 commits intoinducer:mainfrom
alexfikl:proxy-gen-updates
Jan 31, 2022
Merged

Misc ProxyGenerator changes#131
inducer merged 5 commits intoinducer:mainfrom
alexfikl:proxy-gen-updates

Conversation

@alexfikl
Copy link
Collaborator

This just takes out some small changes to the proxy parts from #30. The commits should be fairly self-contained and self-explanatory.

@alexfikl alexfikl requested a review from inducer January 30, 2022 00:47
@inducer inducer enabled auto-merge (rebase) January 30, 2022 23:59
@inducer
Copy link
Owner

inducer commented Jan 30, 2022

LGTM, thanks!

@inducer inducer merged commit d7b70bf into inducer:main Jan 31, 2022
@alexfikl alexfikl deleted the proxy-gen-updates branch January 31, 2022 01:05
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