Merge #11804: [docs] Fixed outdated link with archive.is
commit00d25e90db06149fa456b0a8f15b7b68005ff9c5
authorWladimir J. van der Laan <laanwj@gmail.com>
Fri, 1 Dec 2017 14:27:20 +0000 (1 15:27 +0100)
committerWladimir J. van der Laan <laanwj@gmail.com>
Fri, 1 Dec 2017 14:28:53 +0000 (1 15:28 +0100)
tree0c17ff3e11f6a6b54dbd298f1aaebb589b8e44bf
parent0d7e0a3289baa3b641ca7ab864c5e8af4306f4de
parentbf20a7d6404e92efed07f81b4ffd3eab406d2526
Merge #11804: [docs] Fixed outdated link with archive.is

bf20a7d [docs] Fixed outdated link with archive.is (Tim Shimmin)

Tree-SHA512: 7d316aa4c462213578a9a1e71b06a459924ed3bb681a0469cc3719b21a871a6350fff4656696057e362561ee10dc10e933fe1328ef454ab7e133ecf05549ec1c