Closed hannesm closed 2 years ago
note: we should add a command "drop-platform" to erase the queue for a given platform (since the queue is dumped to disk, and restored on startup, there is otherwise no clean way to remove an entire platform).
merged manually as aacb963b11157612f7df3c676888c21d6e6c827b
fixes #15