# HG changeset patch
# User grin <hg@drop.grin.hu>
# Date 1567893046 -7200
# Node ID 6a0c72d1d7c6cfde6d1a5286d68eb84628e2019d
# Parent  5cd40ea646331fc01065e3f05d5a76edf1b79aff
Use Id for external version matching

diff -r 5cd40ea64633 -r 6a0c72d1d7c6 miui
--- a/miui	Sat Sep 07 23:01:38 2019 +0200
+++ b/miui	Sat Sep 07 23:50:46 2019 +0200
@@ -1,4 +1,5 @@
 ## blocking EVERYTHING miui/china
+## $Id$
 0.0.0.0 account.xiaomi.com
 0.0.0.0 api.zhuti.intl.xiaomi.com
 0.0.0.0 data.mistat.intl.xiaomi.com