Thanks Alex! I'll respond on there. We greatly appreciate the pull request for the fix!
On Wed, Apr 24, 2019 at 4:11 PM cmucluser <[email protected]> wrote: > I just submitted a pull request with a fix: > https://github.com/hashicorp/vagrant/pull/10810. > > Since I am doing such a thing with Github.com for the first time ever, I > am not absolutely sure I did everything correctly for the fix to be > considered and merged in. > > -- Alex > > On Tuesday, April 23, 2019 at 7:32:49 PM UTC-4, cmucluser wrote: >> >> How does 'vagrant' determine the "Latest installed version" of a box? Where >> is that info stored? >> I can't find anything appropriate under '~/vagrant.d' (and am facing a >> problem related to that.) >> > -- > This mailing list is governed under the HashiCorp Community Guidelines - > https://www.hashicorp.com/community-guidelines.html. Behavior in > violation of those guidelines may result in your removal from this mailing > list. > > GitHub Issues: https://github.com/mitchellh/vagrant/issues > IRC: #vagrant on Freenode > --- > You received this message because you are subscribed to the Google Groups > "Vagrant" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/vagrant-up/ebac37db-8a62-41fd-aeab-d099dcf77c33%40googlegroups.com > <https://groups.google.com/d/msgid/vagrant-up/ebac37db-8a62-41fd-aeab-d099dcf77c33%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- Brian Cain -- This mailing list is governed under the HashiCorp Community Guidelines - https://www.hashicorp.com/community-guidelines.html. Behavior in violation of those guidelines may result in your removal from this mailing list. GitHub Issues: https://github.com/mitchellh/vagrant/issues IRC: #vagrant on Freenode --- You received this message because you are subscribed to the Google Groups "Vagrant" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vagrant-up/CADHESCUR7Vy4W-MmhW1ZkfHjDjTcm2OkHOMhmCn%2B-Bou_W_tKg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
