Commit 708b942d by Vitalik

Fix for HRUST

parent 63ffe688
Pipeline #213 skipped