Show patches with: Series = A small Texinfo refinement       |    State = Action Required       |    Archived = No       |   4 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[7/7] update_web_docs_git: Update CSS reference to new manual CSS A small Texinfo refinement - - - -1- 2023-01-27 Arsen Arsenović Unresolved
[5/7] doc: Add @defbuiltin family of helpers, set documentlanguage A small Texinfo refinement - - - -1- 2023-01-27 Arsen Arsenović Unresolved
[4/7] docs: Mechanically reorder item/index combos in extend.texi A small Texinfo refinement - - - -1- 2023-01-27 Arsen Arsenović Unresolved
[3/7] **/*.texi: Reorder index entries A small Texinfo refinement - - - -1- 2023-01-27 Arsen Arsenović Unresolved