{"shas":[["369556128d7bc1e5101cd0a54f82e9ddac095906","c8aa38bd5337d59efe353edbc14e4fb222434094@epfl.ch","separate a definition of a single iso entry in the grub","gcmalloc"],["d95d5e07b99491dbb135ca95ffe7aff673fce0fe","c8aa38bd5337d59efe353edbc14e4fb222434094@epfl.ch","moving from bash to sh, begin the script to build grub.cfg","gcmalloc"],["c7d87c06891e4066b12421b9e019269b4ad17e20","c8aa38bd5337d59efe353edbc14e4fb222434094@epfl.ch","keep on seding in update-iso.sh","gcmalloc"]],"ref":"refs/heads/master","size":3,"head":"c7d87c06891e4066b12421b9e019269b4ad17e20","push_id":41938945}