tree 61853c0913ead35e0936efc73ac870b98ff3b72b
parent c74315e055a770ef3508276442816fffde07cfc6
author YAMAMOTO Takashi <yamamoto@midokura.com> 1480598952 +0900
committer YAMAMOTO Takashi <yamamoto@midokura.com> 1480599081 +0900

Make deprecated() output to stderr

So that it can be used by functions like _determine_config_server,
which is used like RESULT=$(_determine_config_server).

Change-Id: Ia4e641c5529b95ada30ae662221f370bc7fa88a7