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: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected]
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
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
