Skip to content

Add php-gmp for API in Ubuntu 32-bit#2450

Merged
Alkarex merged 1 commit intoFreshRSS:devfrom
Alkarex:gmp-for-32bit
Jul 21, 2019
Merged

Add php-gmp for API in Ubuntu 32-bit#2450
Alkarex merged 1 commit intoFreshRSS:devfrom
Alkarex:gmp-for-32bit

Conversation

@Alkarex
Copy link
Member

@Alkarex Alkarex commented Jul 21, 2019

And adjust slightly the HEALTHCHECK parameters for faster start in
Træfik

And adjust slightly the HEALTHCHECK parameters for faster start in
Træfik
@Alkarex Alkarex added this to the 1.14.3 milestone Jul 21, 2019
@Alkarex Alkarex merged commit 0a297ad into FreshRSS:dev Jul 21, 2019
@Alkarex Alkarex deleted the gmp-for-32bit branch July 21, 2019 10:49
@Alkarex Alkarex mentioned this pull request Jul 21, 2019
mdemoss pushed a commit to mdemoss/FreshRSS that referenced this pull request Mar 25, 2021
And adjust slightly the HEALTHCHECK parameters for faster start in
Træfik
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant