From ee0200ef35f086dcb6862deae831053e6f79ca3a Mon Sep 17 00:00:00 2001
From: Vagrant Cascadian <vagrant@debian.org>
Date: Thu, 5 Oct 2017 10:58:12 -0700
Subject: reproducible debian: Rename armhf host odxu4 to odxu4a.

Signed-off-by: Mattia Rizzolo <mattia@debian.org>
---
 hosts/odxu4a | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 hosts/odxu4a

(limited to 'hosts/odxu4a')

diff --git a/hosts/odxu4a b/hosts/odxu4a
new file mode 120000
index 00000000..89185dcc
--- /dev/null
+++ b/hosts/odxu4a
@@ -0,0 +1 @@
+odxu4a-armhf-rb/
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2