Skip to content

Conversation

@kinggoesgaming
Copy link
Member

I'm submitting a(n) bug fix

Description

The prelude does not contain inlined items anymore

Motivation

The doc links were directing the users to the prelude items instead
of the actual items

Tests

N/A

The doc links were directing the users to the prelude items instead
of the actual items

Signed-off-by: Hunar Roop Kahlon <[email protected]>
@Dylan-DPC-zz
Copy link
Member

bors: r+

bors bot added a commit that referenced this pull request Sep 9, 2018
316: don't inline the prelude items. r=Dylan-DPC a=kinggoesgaming

**I'm submitting a(n)** bug fix

# Description
The `prelude` does not contain inlined items anymore

# Motivation
The doc links were directing the users to the prelude items instead
of the actual items

# Tests
N/A


Co-authored-by: Hunar Roop Kahlon <[email protected]>
@bors
Copy link
Contributor

bors bot commented Sep 9, 2018

@bors bors bot merged commit be6d0ae into master Sep 9, 2018
@kinggoesgaming kinggoesgaming deleted the no-inline-prelude branch September 30, 2018 04:34
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