8983985 Reverted unicode option for hyperref git-subtree-dir: lectures git-subtree-split: 8983985
8983985