Revision 8a20be4fe5137b4ad308f310eec2e027f25eda47

Committed on 04/08/2020 12:05 am by Luca Realdi <[email protected]> [GitHub Diff]

Add reindex step