diff options
| author | Marco Castelluccio <mcastelluccio@mozilla.com> | 2017-06-12 23:10:28 +0100 |
|---|---|---|
| committer | Marco Castelluccio <mcastelluccio@mozilla.com> | 2017-06-12 23:10:28 +0100 |
| commit | d7039fb2b95d5b1976bb18818347e460832f42bf (patch) | |
| tree | 067e80aee094b8a11206b6c52c084ffefc5d6a25 | |
| parent | 8748bdd353e7d8744fdbb3c1c1b2e6c7f424b065 (diff) | |
| download | rust-d7039fb2b95d5b1976bb18818347e460832f42bf.tar.gz rust-d7039fb2b95d5b1976bb18818347e460832f42bf.zip | |
Fill in tracking issue for the profile feature
| -rw-r--r-- | src/doc/unstable-book/src/compiler-flags/profile.md | 2 | ||||
| -rw-r--r-- | src/doc/unstable-book/src/language-features/profiler-runtime.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/unstable-book/src/compiler-flags/profile.md b/src/doc/unstable-book/src/compiler-flags/profile.md index 3b4f34e67c5..66d14fd0997 100644 --- a/src/doc/unstable-book/src/compiler-flags/profile.md +++ b/src/doc/unstable-book/src/compiler-flags/profile.md @@ -1,6 +1,6 @@ # `profile` -The tracking issue for this feature is: None +The tracking issue for this feature is: [#42524](https://github.com/rust-lang/rust/issues/42524). ------------------------ diff --git a/src/doc/unstable-book/src/language-features/profiler-runtime.md b/src/doc/unstable-book/src/language-features/profiler-runtime.md index a9879c8d5a6..aee86f63952 100644 --- a/src/doc/unstable-book/src/language-features/profiler-runtime.md +++ b/src/doc/unstable-book/src/language-features/profiler-runtime.md @@ -1,5 +1,5 @@ # `profiler_runtime` -The tracking issue for this feature is: None. +The tracking issue for this feature is: [#42524](https://github.com/rust-lang/rust/issues/42524). ------------------------ |