tree 6d57dc94f6e7aad5bd753a0e17e621b0566f446a
parent e404373d537d2a032f7f6d26465b5067e6900bfc
author Michal Vasko <mvasko@cesnet.cz> 1497252242 +0200
committer Michal Vasko <mvasko@cesnet.cz> 1497252339 +0200

resolve BUGFIX resolving augments more times is legal

Fixes #330