Revision 8a20be4fe5137b4ad308f310eec2e027f25eda47

Committed on 04/08/2020 12:05 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Add reindex step