Skip to content
Snippets Groups Projects
Sergi Hernandez's avatar
Sergi Hernandez authored
Solved a bug in the deletion of an operation: The master index was not reset.

See merge request !9
437588fc
History
Name Last commit Last update