diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-03-06 22:51:22 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-03-06 23:54:48 +0100 |
| commit | ecc4324fef26b5ba14031fe203ebdec1b2cd1fec (patch) | |
| tree | f046a408e51bd18e0aad9c65d7e7475011249070 /gnu/system/grub.scm | |
| parent | ba062b3ec4367919daf3ad458b88b710042fc678 (diff) | |
| download | patches-ecc4324fef26b5ba14031fe203ebdec1b2cd1fec.tar patches-ecc4324fef26b5ba14031fe203ebdec1b2cd1fec.tar.gz | |
system: grub: Add missing URL in comment.
* gnu/system/grub.scm (grub-root-search): Add missing URL in comment.
Diffstat (limited to 'gnu/system/grub.scm')
| -rw-r--r-- | gnu/system/grub.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm index b18b8be6d7..1f2cd08ff0 100644 --- a/gnu/system/grub.scm +++ b/gnu/system/grub.scm @@ -255,7 +255,7 @@ code." "" (match device ;; Preferably refer to DEVICE by its UUID or label. This is more - ;; efficient and less ambiguous, see <>. + ;; efficient and less ambiguous, see <http://bugs.gnu.org/22281>. ((? bytevector? uuid) (format #f "search --fs-uuid --set ~a" (uuid->string device))) |