Skip to content

w3m: fix parallel build #1397

Merged
merged 1 commit into from
Oct 17, 2019
Merged

w3m: fix parallel build #1397

merged 1 commit into from
Oct 17, 2019

Conversation

wwwutz
Copy link
Collaborator

@wwwutz wwwutz commented Oct 16, 2019

  • does not build parallel. enforce this
  • remove locales

- does not build parallel. enforce this
- remove locales
@donald donald merged commit a8f3729 into master Oct 17, 2019
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants