notes.txt: Add link to Z3 model_compress bug.
[libguestfs-talks.git] / 2020-goals /
drwxr-xr-x   ..
-rw-r--r-- 629720 2020-goals.odp
-rw-r--r-- 8825 notes.txt