libreboot/obsolete-repository-preserved-for-historical-purposes: This is the OLD libreboot git repository. A new repository will be available soon. Please do not contribute to this one. This one is being set read-only, and will be preserved for reference / historical purpose. See note on libreboot.org @ d1766ee64799e475c21a5d7e0f15c72f53cbb768

John M. Harris, Jr a8f882d788 Add reproducible build patches to GRUB		6 lat temu
..
build	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	7 lat temu
download	a8f882d788 Add reproducible build patches to GRUB	6 lat temu