Merge pull request #354 from adrianschmutzler/fe80master
authorMoritz Warning <moritzwarning@web.de>
Wed, 2 May 2018 14:49:32 +0000 (16:49 +0200)
committerGitHub <noreply@github.com>
Wed, 2 May 2018 14:49:32 +0000 (16:49 +0200)
alfred: Support interface IDs with more than two digits


Trivial merge