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. For more options, visit https://groups.google.com/d/optout.
