fix error with grub when using vagrant #193
meaz
commented 2021-02-09 22:43:48 +01:00
Owner
No description provided.
muppeth
was assigned by meaz 2021-02-09 22:43:48 +01:00
antilopa
was assigned by meaz 2021-02-09 22:43:49 +01:00
meaz
added 1 commit 2021-02-09 22:43:50 +01:00
ecc4d0704b
fix error with grub when using vagrant
meaz
added 1 commit 2021-02-09 22:44:54 +01:00
19c9560579
Merge branch 'master' into vagrant_grub
antilopa
merged commit 546955e508 into master 2021-02-12 20:39:55 +01:00
antilopa
referenced this issue from a commit 2021-02-12 20:39:58 +01:00
Merge pull request 'fix error with grub when using vagrant' (#193) from vagrant_grub into master
Loading…
Reference in New Issue
No description provided.
Delete Branch "vagrant_grub"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?