Skip to content

Travis: use different emdebian mirror for now#2057

Merged
OlegHahm merged 1 commit intoRIOT-OS:masterfrom
LudwigKnuepfer:emdebian
Nov 20, 2014
Merged

Travis: use different emdebian mirror for now#2057
OlegHahm merged 1 commit intoRIOT-OS:masterfrom
LudwigKnuepfer:emdebian

Conversation

@LudwigKnuepfer
Copy link
Copy Markdown
Member

@LudwigKnuepfer LudwigKnuepfer added Area: tests Area: tests and testing framework Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) labels Nov 20, 2014
@LudwigKnuepfer
Copy link
Copy Markdown
Member Author

Apparently it works.

@OlegHahm
Copy link
Copy Markdown
Member

ACK and go.

OlegHahm added a commit that referenced this pull request Nov 20, 2014
Travis: use different emdebian mirror for now
@OlegHahm OlegHahm merged commit 660ce09 into RIOT-OS:master Nov 20, 2014
@LudwigKnuepfer LudwigKnuepfer deleted the emdebian branch November 20, 2014 13:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area: tests Area: tests and testing framework Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants