Commit 50cc6680 authored by stevanradakovic's avatar stevanradakovic

Merge branch 'device_is_synced_rest' into 'master'

REST: add is_synced field to Device in REST API

See merge request lava/lava!1280
parents 91c93c00 974e0eec
Pipeline #8755 passed with stages
in 8 minutes and 40 seconds