Skip to content

make Z_local_update statement more intuitive

Ralf Jung requested to merge ralf/Z_local_update into master

x - y = x' - y' makes a lot more sense to me: the difference between auth and frag has to remain unchanged by the update.

Merge request reports