From 6088ade74684791acd14d94dbaf96581cd7028e8 Mon Sep 17 00:00:00 2001
From: Alan Jeffrey <ajeffrey@mozilla.com>
Date: Mon, 5 Nov 2018 10:00:08 -0600
Subject: [PATCH] Argh tabs vs spaces

---
 ports/libmlservo/src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ports/libmlservo/src/lib.rs b/ports/libmlservo/src/lib.rs
index 532f0ff0481..8a20ad16682 100644
--- a/ports/libmlservo/src/lib.rs
+++ b/ports/libmlservo/src/lib.rs
@@ -241,9 +241,9 @@ pub unsafe extern "C" fn discard_servo(servo: *mut ServoInstance) {
                 }
             }
             if Instant::now() > finish {
-	       warn!("Incomplete shutdown.");
+               warn!("Incomplete shutdown.");
                break 'outer;
-	    }
+            }
             thread::sleep(SHUTDOWN_POLL_INTERVAL);
             servo.servo.handle_events(vec![]);
         }