Skip to content

[flint] Clean up small things

This MR improves small things here and there.

It have to be merge before the restart, but can stays open in the mid time for other small things.

Right now i have nothing anymore to do. So feel free to merge it if you have time.

  • Rework the boxing
  • Small changes on icons
  • Non-regression test on stored workspaces
  • BLISS side clean_up_user_data to remove corrupted data from Redis, in case
  • Fix simulator regression
  • Plus few small things
Edited by Valentin Valls

Merge request reports