Skip to content

Fix decodeKoreString#2346

Merged
rv-jenkins merged 1 commit intomasterfrom
fix2339-koreDecoding
Nov 26, 2021
Merged

Fix decodeKoreString#2346
rv-jenkins merged 1 commit intomasterfrom
fix2339-koreDecoding

Conversation

@radumereuta
Copy link
Copy Markdown
Contributor

Fixes: #2339

Copy link
Copy Markdown
Contributor

@Baltoli Baltoli left a comment

Choose a reason for hiding this comment

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

Looks good to me.

Copy link
Copy Markdown
Contributor

@traiansf traiansf left a comment

Choose a reason for hiding this comment

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

Looks good to me.

@rv-jenkins rv-jenkins merged commit 119872b into master Nov 26, 2021
@rv-jenkins rv-jenkins deleted the fix2339-koreDecoding branch November 26, 2021 15:39
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.

[Bug] [kprovex] - Failed encoding for anonymous variables

4 participants