{"shas":[["36e480d67353b201fd3f6e37c95edebadc80f2ee","a027184a55211cd23e3f3094f1fdc728df5e0500@denknerd.org","titles in CUTE slides","Paul van der Walt"]],"ref":"refs/heads/master","size":1,"head":"36e480d67353b201fd3f6e37c95edebadc80f2ee","push_id":33334360}