From ca2490b91c37538dc313b2d8aca737c8085f0ab6 Mon Sep 17 00:00:00 2001 From: Rob Ede Date: Mon, 15 Mar 2021 02:15:11 +0000 Subject: [PATCH 1/3] add poll_map feature --- data/1.51/poll_map.md | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 data/1.51/poll_map.md diff --git a/data/1.51/poll_map.md b/data/1.51/poll_map.md new file mode 100644 index 0000000..77ec3e2 --- /dev/null +++ b/data/1.51/poll_map.md @@ -0,0 +1,10 @@ ++++ +title = "`map_ok` / `map_err` on `Poll>>`" +flag = "poll_map" +tracking_issue_id = 63514 +stabilization_pr_id = 80968 +items = [ + "Poll>>::map_ok", + "Poll>>::map_err", +] ++++ From d5ce9708c551738d92b12db9382b5d49e7988af0 Mon Sep 17 00:00:00 2001 From: Rob Ede Date: Mon, 15 Mar 2021 20:37:49 +0000 Subject: [PATCH 2/3] split poll_map feature --- data/1.51/poll_map.md | 10 ---------- data/1.51/poll_map_err.md | 6 ++++++ data/1.51/poll_map_ok.md | 6 ++++++ 3 files changed, 12 insertions(+), 10 deletions(-) delete mode 100644 data/1.51/poll_map.md create mode 100644 data/1.51/poll_map_err.md create mode 100644 data/1.51/poll_map_ok.md diff --git a/data/1.51/poll_map.md b/data/1.51/poll_map.md deleted file mode 100644 index 77ec3e2..0000000 --- a/data/1.51/poll_map.md +++ /dev/null @@ -1,10 +0,0 @@ -+++ -title = "`map_ok` / `map_err` on `Poll>>`" -flag = "poll_map" -tracking_issue_id = 63514 -stabilization_pr_id = 80968 -items = [ - "Poll>>::map_ok", - "Poll>>::map_err", -] -+++ diff --git a/data/1.51/poll_map_err.md b/data/1.51/poll_map_err.md new file mode 100644 index 0000000..f974eef --- /dev/null +++ b/data/1.51/poll_map_err.md @@ -0,0 +1,6 @@ ++++ +title = "Poll>>::map_err" +flag = "poll_map" +tracking_issue_id = 63514 +stabilization_pr_id = 80968 ++++ diff --git a/data/1.51/poll_map_ok.md b/data/1.51/poll_map_ok.md new file mode 100644 index 0000000..ce07ad6 --- /dev/null +++ b/data/1.51/poll_map_ok.md @@ -0,0 +1,6 @@ ++++ +title = "Poll>>::map_ok" +flag = "poll_map" +tracking_issue_id = 63514 +stabilization_pr_id = 80968 ++++ From e7e5f1ffc2767da5a3c26ed204346a3fe5da842a Mon Sep 17 00:00:00 2001 From: Rob Ede Date: Mon, 15 Mar 2021 23:05:20 +0000 Subject: [PATCH 3/3] use code blocks --- data/1.51/poll_map_err.md | 2 +- data/1.51/poll_map_ok.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/data/1.51/poll_map_err.md b/data/1.51/poll_map_err.md index f974eef..cb4e147 100644 --- a/data/1.51/poll_map_err.md +++ b/data/1.51/poll_map_err.md @@ -1,5 +1,5 @@ +++ -title = "Poll>>::map_err" +title = "`Poll>>::map_err`" flag = "poll_map" tracking_issue_id = 63514 stabilization_pr_id = 80968 diff --git a/data/1.51/poll_map_ok.md b/data/1.51/poll_map_ok.md index ce07ad6..efc4b66 100644 --- a/data/1.51/poll_map_ok.md +++ b/data/1.51/poll_map_ok.md @@ -1,5 +1,5 @@ +++ -title = "Poll>>::map_ok" +title = "`Poll>>::map_ok`" flag = "poll_map" tracking_issue_id = 63514 stabilization_pr_id = 80968