[Merged by Bors] - improve documentation for macro-generated label types#5367
Closed
joseph-gio wants to merge 2 commits into
Closed
[Merged by Bors] - improve documentation for macro-generated label types#5367joseph-gio wants to merge 2 commits into
joseph-gio wants to merge 2 commits into