Summary of changes: 87fad28... Increase web interface get-devices timeout to 10s (bug #996 (*) 08d18fe... Merge branch 'f19' (*) This commit already existed in another branch; no separate mail sent