Skip to content
This repository has been archived by the owner on Nov 3, 2023. It is now read-only.

fix issue #189 #190

Merged
merged 1 commit into from
Aug 3, 2022
Merged

fix issue #189 #190

merged 1 commit into from
Aug 3, 2022

Conversation

JiahaoYao
Copy link
Contributor

fix issue #189

Signed-off-by: Jimmy Yao jiahaoyao.math@gmail.com

fix issue #189

Signed-off-by: Jimmy Yao <jiahaoyao.math@gmail.com>
@JiahaoYao
Copy link
Contributor Author

@amogkam no worries and whenever u are free.

Copy link

@krfricke krfricke left a comment

Choose a reason for hiding this comment

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

LGTM

@krfricke krfricke merged commit 13468d7 into main Aug 3, 2022
@krfricke krfricke deleted the JiahaoYao-patch-1 branch August 3, 2022 11:35
@krfricke
Copy link

krfricke commented Aug 3, 2022

By the way @JiahaoYao can we add a test for this in CI?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants