Merge branch 'releases/CGAL-4.13-branch'

2019-02-07 13:33:49 +01:00
parent 9a03d47cb0 a4487ed6b6
commit b3fbbdfd83
1 changed files with 1 additions and 1 deletions
@@ -68,7 +68,7 @@ else:
 print_verbose("   index path is {}".format(repo.index_path()))
 print_verbose("Getting commits in current branch", end='')
 print_verbose(" {}".\
-              format(str(repo.refs.read_ref('HEAD'), "ascii")), end='')
+              format(str(repo.refs.read_ref(b'HEAD'), "ascii")), end='')
 sys.stderr.flush()
 walk = repo.get_walker(include=repo.head(),\
                       exclude=[repo.get_refs()[b'refs/remotes/cgal/master']])