Simon Frei
bf6ffbbd67
Don't add empty device to config on init ( #8933 )
...
We usually want to ensure that our own device is present. However if the
given device ID is the empty ID, we shouldn't do that. This is a
legimate (though way too non-obvious) use-case when opening the config
without knowing/caring about the device ID.
2023-06-10 20:33:39 +00:00
..
2022-01-13 23:38:21 +01:00
2023-04-16 14:54:28 +02:00
2020-08-25 08:11:14 +02:00
2020-10-02 08:07:05 +02:00
2020-08-25 08:11:14 +02:00
2020-10-02 08:07:05 +02:00
2022-07-28 17:32:45 +02:00
2023-06-10 20:33:39 +00:00
2023-06-10 20:33:39 +00:00
2022-07-26 08:24:58 +02:00
2019-10-04 13:03:34 +02:00
2022-07-28 17:00:41 +02:00
2021-05-19 13:30:20 +02:00
2023-05-09 10:01:57 +00:00
2023-03-18 08:50:38 +01:00
2020-11-09 15:33:32 +01:00
2020-11-09 15:33:32 +01:00
2022-07-28 17:32:45 +02:00
2021-05-19 13:30:20 +02:00
2020-08-25 08:11:14 +02:00
2021-05-19 13:30:20 +02:00
2020-08-25 08:11:14 +02:00
2020-10-02 08:07:05 +02:00
2020-10-22 19:54:35 +02:00
2022-09-14 09:50:55 +02:00
2021-09-26 12:08:23 +02:00
2023-04-16 14:54:28 +02:00
2023-04-16 14:54:28 +02:00
2020-08-25 08:11:14 +02:00
2020-10-02 08:07:05 +02:00
2022-02-24 17:07:51 +01:00
2022-07-28 16:51:03 +02:00
2021-05-19 13:30:20 +02:00
2019-11-29 09:11:52 +01:00
2020-08-25 08:11:14 +02:00
2020-10-02 08:07:05 +02:00
2021-02-26 12:04:05 +01:00
2021-05-19 13:30:20 +02:00
2023-05-09 10:01:57 +00:00