tree 51126d99be8cb710cd8b860b9751e9198b031ade
parent ffeedfdbce0dd98d30cba9738b1800bac483cefb
author Michal Vasko <mvasko@cesnet.cz> 1723815482 +0200
committer Michal Vasko <mvasko@cesnet.cz> 1723815482 +0200

dict BUGFIX revert ffeedfdbce0dd98d30cba9738b1800bac483cefb

This optimization exposes another bug that it is not
possible to solve properly without NBC changes so
wait with it until a new SO version.