Skip to content

Conversation

murtukov
Copy link
Contributor

@murtukov murtukov commented Jul 9, 2020

Update the top badges to show information about the appropriate version

Update the top badges to show information about the appropriate version
@murtukov murtukov requested review from mcg-web, akomm and Vincz July 9, 2020 13:47
@murtukov murtukov changed the title Update badges Update badges (0.11) Jul 9, 2020
@murtukov murtukov removed request for mcg-web and akomm July 9, 2020 14:06
@murtukov
Copy link
Contributor Author

murtukov commented Jul 9, 2020

@mcg-web Seems like Travis hung again without any reason. Could you accept this and other 2 similar PRs anyway?

@mcg-web mcg-web merged commit fea0e7e into 0.11 Jul 9, 2020
@mcg-web mcg-web deleted the murtukov-patch-1 branch July 9, 2020 15:25
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