cpfeiffer abeb642972 Don't remember paired Mi device in preferences ... (this was just a very old workaround for an even older Mi firmware that couldn't pair)		2016-07-05 20:27:23 +02:00
..
nodomain/freeyourgadget/gadgetbridge	Don't remember paired Mi device in preferences	2016-07-05 20:27:23 +02:00