Diff — Partial function

Revision #2112 → #2798 · back to history