Timo Bejan 04edfea044 Pull request #215: RED-1617 ...

Merge in RED/ui from RED-1617 to master

* commit '1cbb928778962df2815ab5246d18e76a1cb01ac3':
  Improve processing indicator
  move read-only indicator to file workload

2021-06-16 15:42:35 +02:00

..

red-ui

Pull request #215: RED-1617

2021-06-16 15:42:35 +02:00