Timo Bejan a3ac2743dd Pull request #250: manual redaction fixes ...

Merge in RED/ui from minor-fixes to master

* commit 'b8df7ab452ffffe533feebd7a51b61b65887f2d4':
  manual redaction fixes

2021-07-23 08:14:53 +02:00

..

red-ui

Pull request #250: manual redaction fixes

2021-07-23 08:14:53 +02:00