Skip to content

update paper reference#629

Merged
ranocha merged 1 commit intomainfrom
hr/reference
Jun 4, 2021
Merged

update paper reference#629
ranocha merged 1 commit intomainfrom
hr/reference

Conversation

@ranocha
Copy link
Copy Markdown
Member

@ranocha ranocha commented Jun 4, 2021 •
edited
Loading

No CI will run, so we need to merge manually

@ranocha ranocha requested a review from sloede June 4, 2021 06:26
sloede
sloede approved these changes Jun 4, 2021
View reviewed changes
Copy link
Copy Markdown
Member

@sloede sloede left a comment

Choose a reason for hiding this comment

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

Thanks a lot!

@ranocha ranocha merged commit a4e4616 into main Jun 4, 2021
@ranocha ranocha deleted the hr/reference branch June 4, 2021 06:33
@sloede sloede mentioned this pull request Jul 5, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@sloede sloede sloede approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@ranocha @sloede