https://bugzilla.wikimedia.org/show_bug.cgi?id=67867
Bug ID: 67867
Summary: Cleanup the vagrant::settings define
Product: MediaWiki-Vagrant
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: minor
Priority: Unprioritized
Component: General
Assignee: o...@wikimedia.org
Reporter: bda...@wikimedia.org
CC: o...@wikimedia.org, yuvipa...@gmail.com
Web browser: ---
Mobile Platform: ---
Changes in the mediawiki-plugin have made some of the options for the
vagrant::settings define obsolete (box_name, box_uri, puppet_debug).
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
