gnu: gnu-efi: Update to 3.0.13.
authorTobias Geerinckx-Rice <me@tobias.gr>
Sat, 27 Mar 2021 21:47:02 +0000 (22:47 +0100)
committerTobias Geerinckx-Rice <me@tobias.gr>
Sat, 27 Mar 2021 21:47:02 +0000 (22:47 +0100)
commit02a2c7e53cc0070233c31f52600bec5e6a0d7c72
treee6227d77a1c362a3e35cd58ca36ec8f40fc7fe14
parentf7aa0734518f18680a1fe4d54af221a45002475b
gnu: gnu-efi: Update to 3.0.13.

* gnu/packages/efi.scm (gnu-efi): Update to 3.0.13.
gnu/packages/efi.scm