Goodbye, Andreas.
auto merge of #923 : jdm/servo/itried, r=larsbergstrom