NN 447e0aaa88 Fix repository name case (#8695)
* Fix repository name case

* [detours] Match GitHub URL exactly
2019-10-25 14:50:30 -07:00
..
2019-02-12 16:56:35 -08:00