diff -r 3178f3f65d83 -r f25802ba598f Publications/itp-12.pdf
Binary file Publications/itp-12.pdf has changed