users.txt: Update wget URL (tiny change)
commitec01e68672ac3c76c6cfad2479bb9db85214d597
authorTim Rühsen <tim.ruehsen@gmx.de>
Thu, 19 Jan 2017 07:37:21 +0000 (18 23:37 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 19 Jan 2017 07:43:31 +0000 (18 23:43 -0800)
tree8750d47a7c293973aac4113369d9d40680025b0e
parent242a146418ba303f148c672d72c277238c272944
users.txt: Update wget URL (tiny change)
users.txt