Skip to content

Conversation

@KristofferC
Copy link
Member

Fixes #19418

@KristofferC KristofferC added the docs This change adds or pertains to documentation label Oct 15, 2019
@rfourquet
Copy link
Member

The doc change is nice, but it seems you commited "base/precompile.jl" not on purpose?

@KristofferC
Copy link
Member Author

KristofferC commented Oct 15, 2019

Oops! Fixed.

@rfourquet
Copy link
Member

Fixed.

Not yet!

@KristofferC
Copy link
Member Author

KristofferC commented Oct 15, 2019

wat

ok now maybe...

@StefanKarpinski StefanKarpinski merged commit 255fd50 into master Oct 15, 2019
@StefanKarpinski StefanKarpinski deleted the kc/inline_doc branch October 15, 2019 19:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs This change adds or pertains to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

@noinline ignored

4 participants