Yuvipanda has uploaded a new change for review.
https://gerrit.wikimedia.org/r/175105
Change subject: tools: Add python3-dev to dev_environ
......................................................................
tools: Add python3-dev to dev_environ
Change-Id: I0e9e6a94bf64218aefd4c176aa47810670ff7618
---
M modules/toollabs/manifests/dev_environ.pp
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/05/175105/1
diff --git a/modules/toollabs/manifests/dev_environ.pp
b/modules/toollabs/manifests/dev_environ.pp
index 22a72c3..e72b0e8 100644
--- a/modules/toollabs/manifests/dev_environ.pp
+++ b/modules/toollabs/manifests/dev_environ.pp
@@ -81,6 +81,7 @@
'pyflakes', # Bug 57863
'python-coverage', # Bug 57002
'python-dev',
+ 'python3-dev',
'qt4-qmake',
'sbt',
'sqlite3',
--
To view, visit https://gerrit.wikimedia.org/r/175105
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I0e9e6a94bf64218aefd4c176aa47810670ff7618
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Yuvipanda <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
