Minor fixes to 00, 06, and 09_part1#6
Open
tzussman wants to merge 1 commit intomspieg:masterfrom
tzussman:tal_fixes
Open
Minor fixes to 00, 06, and 09_part1#6tzussman wants to merge 1 commit intomspieg:masterfrom tzussman:tal_fixes
tzussman wants to merge 1 commit intomspieg:masterfrom
tzussman:tal_fixes