From 77b03affee74eb1bc4ef0f75279cc51132953e61 Mon Sep 17 00:00:00 2001 From: Rob Ede Date: Tue, 16 Mar 2021 17:47:24 +0000 Subject: [PATCH] Add poll_map feature --- data/1.51/poll_map_err.md | 6 ++++++ data/1.51/poll_map_ok.md | 6 ++++++ 2 files changed, 12 insertions(+) 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_err.md b/data/1.51/poll_map_err.md new file mode 100644 index 0000000..cb4e147 --- /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..efc4b66 --- /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 ++++