Status

Changes

Console Output

View as plain text

View Build Information

Git Build Data

Docker Fingerprints

See Fingerprints

Open Blue Ocean

Pipeline Steps

Previous Build

Next Build

Changes

Summary

Remove redundant non-normative text on extending from operator record (details)

Commit de2eff6ba45e60bb0e49dba3cb237fa898a5453d by Tidefelt Henrik Remove redundant non-normative text on extending from operator record Addressing review comment by Hans.
The file was modified	chapters/classes.tex (diff)