Updated .util#6

ard-srp wants to merge 4 commits intoMiatto-research-group:masterMiatto-research-group/bolt:masterfrom

ard-srp:masterard-srp/bolt:masterCopy head branch name to clipboard