[patch] Use bash as shell for the Vagrant user
vagrant.patch (text/plain), 509 bytes, created by Jose Luis Duran on 2020-05-28 19:48:07 UTC
(hide)
 
Creator: Jose Luis Duran
Created: 2020-05-28 19:48:07 UTC
Size: 509 bytes
Actions: View | Diff
Attachments on bug 245051: 214988