Skip to content

Backport #6478#6496

Merged
PeterKietzmann merged 3 commits into2017.01-branchfrom
master
Jan 27, 2017
Merged

Backport #6478#6496
PeterKietzmann merged 3 commits into2017.01-branchfrom
master

Conversation

@lebrush
Copy link
Copy Markdown
Member

@lebrush lebrush commented Jan 27, 2017

(not sure about labels / milestones regarding backports)

@haukepetersen haukepetersen added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Jan 27, 2017
@PeterKietzmann PeterKietzmann merged commit f3f403e into 2017.01-branch Jan 27, 2017
@PeterKietzmann
Copy link
Copy Markdown
Member

Thx @lebrush!

@PeterKietzmann PeterKietzmann added this to the Release 2017.01 milestone Jan 27, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants