You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#1351 added two new subclauses to 8.9.5. However, it also left text in 8.95.
IIRC, every heading must have either text or sub-headings. Never both.
This PR adds a new General clause for the text that was in 8.9.5
0 commit comments