Skip to content

Update doc link version to 13 - #8138

Merged
ChristophWurst merged 1 commit into
stable13from
13-update-doc-version
Feb 1, 2018
Merged

Update doc link version to 13#8138
ChristophWurst merged 1 commit into
stable13from
13-update-doc-version

Conversation

@MorrisJobke

@MorrisJobkeMorrisJobke commented Feb 1, 2018

Copy link
Copy Markdown
Member

Fixes#8131

Signed-off-by: Morris Jobke <hey@morrisjobke.de>
@ChristophWurstChristophWurst added 4. to release Ready to be released and/or waiting for tests to finish and removed 3. to review Waiting for reviews labels Feb 1, 2018
@codecov

codecovBot commented Feb 1, 2018

Copy link
Copy Markdown

Codecov Report

Merging #8138 into stable13 will increase coverage by <.01%.
The diff coverage is 100%.

@@ Coverage Diff @@## stable13 #8138 +/- ##
==============================================
+ Coverage 51.22% 51.23% +<.01% 
Complexity 24982 24982 ==============================================
Files 1607 1607 Lines 95050 95050 Branches 1376 1376 ==============================================
+ Hits 48690 48695 +5 + Misses 46360 46355 -5
Impacted FilesCoverage ΔComplexity Δ
lib/private/legacy/defaults.php47.7% <100%> (ø)46 <0> (ø)⬇️
lib/private/Security/CertificateManager.php91.08% <0%> (-1%)39% <0%> (ø)
lib/private/Server.php81.55% <0%> (+0.11%)134% <0%> (ø)⬇️
core/js/js.js66.29% <0%> (+0.55%)0% <0%> (ø)⬇️

@ChristophWurst
ChristophWurst merged commit 62f4454 into stable13Feb 1, 2018
@ChristophWurst
ChristophWurst deleted the 13-update-doc-version branch February 1, 2018 13:45
@MorrisJobkeMorrisJobke mentioned this pull request Feb 5, 2018
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

4. to releaseReady to be released and/or waiting for tests to finish

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@MorrisJobke@rullzer@nickvergessen@ChristophWurst