PR #2995 Improve amendment management

Improve amendment management #2995

alvestrand merged 14 commits into main from rec-diff

dontcallmedom added Editorial

dontcallmedom force pushed from 4500403b to 3e168c40 1 year ago

Provide more granular view of diffs

d97e93af

Customize diff algorithm to match W3C spec needs

5a910c2e

Add notice on source

4f13cc1d

Align diff with relevant CSS rules

a1cf4e10

Add postprocessing to keep markup valid

f2cdb352

Avoid empty element generating bogus markup with diff

640def5f

dontcallmedom force pushed from 3e168c40 to 39e91ca0 1 year ago

Document license of imported code

b7e27a47

Make amendment plugin use respec error reporting facilities

6d3ebfa6

Revamp management of 'append' amendments

7893e6f7

Fix detection of missing amendment

94caa1e2

Improve diff of IDL fragments

1bd08a42

Remove unneeded and harmful css for diffed tables

0e5656f2

dontcallmedom force pushed from 39e91ca0 to 0e5656f2 1 year ago

Fix links to pull requests in amendments wrapper

6813b148

dontcallmedom marked this pull request as ready for review 1 year ago

Upgrade respec

e4c5fcb7

dontcallmedom force pushed from 4eaca58d to e4c5fcb7 1 year ago

jan-ivar approved these changes on 2024-09-12

alvestrand merged 39897d19 into main 1 year ago

Reviewers

jan-ivar

Assignees

No one assigned

Labels

Editorial

Milestone

No milestone

webrtc-pc Improve amendment management #2995 Merged

Improve amendment management #2995

webrtc-pc
Improve amendment management
#2995

Merged