Merge pull request #3350 from Gabriel439/patch-11

Restore `pipes-extras`
This commit is contained in:
Alexey Zabelin 2018-03-10 22:16:28 -05:00 committed by GitHub
commit 8ac5914041
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -758,7 +758,7 @@ packages:
"Gabriel Gonzalez <Gabriel439@gmail.com> @Gabriel439": "Gabriel Gonzalez <Gabriel439@gmail.com> @Gabriel439":
- optparse-generic - optparse-generic
- pipes - pipes
# - pipes-extras # lens 4.16 - pipes-extras
- pipes-parse - pipes-parse
- pipes-concurrency - pipes-concurrency
- pipes-safe - pipes-safe
@ -2857,9 +2857,9 @@ packages:
- glazier-pipes - glazier-pipes
- javascript-extras - javascript-extras
- l10n - l10n
# - pipes-category # lens 4.16 via pipes-extras - pipes-category
# - pipes-fluid # lens 4.16 via pipes-extras - pipes-fluid
# - pipes-misc # lens 4.16 via pipes-extras - pipes-misc
- stm-extras - stm-extras
"Siniša Biđin <sinisa@bidin.eu> @sbidin": "Siniša Biđin <sinisa@bidin.eu> @sbidin":