[Style guide] Remove old recommendation for numbered lists#17715
Merged
pedrosousa merged 1 commit intoproductionfrom Oct 23, 2024
Merged
[Style guide] Remove old recommendation for numbered lists#17715pedrosousa merged 1 commit intoproductionfrom
pedrosousa merged 1 commit intoproductionfrom
