Skip to content

Conversation

fritzo
Copy link
Member

@fritzo fritzo commented Jan 3, 2023

This also bumps the pinned funsor version to the latest 0.4.4

@review-notebook-app
Copy link

Check out this pull request on  ReviewNB

See visual diffs & provide feedback on Jupyter Notebooks.


Powered by ReviewNB

@fehiepsi
Copy link
Member

fehiepsi commented Jan 3, 2023

@fritzo Is this ready to merge?

@fehiepsi fehiepsi merged commit 0029941 into dev Jan 3, 2023
@fritzo
Copy link
Member Author

fritzo commented Jan 3, 2023

@fehiepsi yes, thanks!

@fritzo
Copy link
Member Author

fritzo commented Jan 3, 2023

I'll go ahead and release now

@fritzo fritzo deleted the bump-to-1.8.4 branch January 5, 2023 17:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants