about summary refs log tree commit diff
path: root/Vagrantfile
diff options
context:
space:
mode:
authorThibG <thib@sitedethib.com>2017-11-15 01:06:49 +0100
committerEugen Rochko <eugen@zeonfederated.com>2017-11-15 01:06:49 +0100
commit1c25853842075f88e3b6ed28decba3907d548f2e (patch)
tree2f96a8ccce89bc742c9e0572f8a91587da5c1341 /Vagrantfile
parent546257bc7f75538993470b1a53f2095f801c069d (diff)
Use already-known remote user data if resolving temporarily fails in mentions (#5702)
Diffstat (limited to 'Vagrantfile')
0 files changed, 0 insertions, 0 deletions