Updated boot.patch bc it was failing on build#13

alexk-aleo merged 1 commit intomainAleoNet/snarkos-docker:mainfrom

jeff/boot-patch-fixAleoNet/snarkos-docker:jeff/boot-patch-fixCopy head branch name to clipboard