Code

Redirection heuristic for #113#114

Code

Merged

pkgw merged 3 commits intotectonic-typesetting:mastertectonic-typesetting/tectonic:masterfrom Mrmaxmeier:redirect-heuristicMrmaxmeier/tectonic:redirect-heuristicCopy head branch name to clipboardJul 6, 2017

Commits

Commits on Jul 5, 2017

• add redirection policy heuristic

  Mrmaxmeier

  committed
  31104a0

  Copy full SHA for 31104a0

• refactor usage of hyper clients

  Mrmaxmeier

  committed
  cc4f6c3

  Copy full SHA for cc4f6c3

• use inline function instead of non-capturing closure

  Show description for 8e9cd91
  Mrmaxmeier

  committed
  8e9cd91

  Copy full SHA for 8e9cd91