Skip to content

rename theflash#407

Merged
marsishandsome merged 1 commit intopingcap:masterfrom
marsishandsome:feature/rename-theflash
Feb 4, 2020
Merged

rename theflash#407
marsishandsome merged 1 commit intopingcap:masterfrom
marsishandsome:feature/rename-theflash

Conversation

@marsishandsome
Copy link
Contributor

@marsishandsome marsishandsome commented Feb 4, 2020

@marsishandsome
Copy link
Contributor Author

/run-integration-tests

@zanmato1984
Copy link
Contributor

How about we rename the cmake target name from theflash to tiflash?

Copy link
Contributor

@ilovesoup ilovesoup left a comment

Choose a reason for hiding this comment

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

LGTM

@marsishandsome marsishandsome merged commit bd7662d into pingcap:master Feb 4, 2020
yongman pushed a commit to yongman/tiflash that referenced this pull request Jun 18, 2025
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.

3 participants