Skip to content
This repository has been archived by the owner on Dec 30, 2022. It is now read-only.

Fix/stats #332

Merged
merged 2 commits into from
Oct 17, 2017
Merged

Fix/stats #332

merged 2 commits into from
Oct 17, 2017

Conversation

rayrutjes
Copy link
Member

No description provided.

Copy link
Contributor

@samouss samouss left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Works for me, formatting only for default values is a good option. The user will still be able to do anything he wants with the original values.

@rayrutjes rayrutjes merged commit f27cf6d into master Oct 17, 2017
@rayrutjes rayrutjes deleted the fix/stats branch October 17, 2017 11:55
Haroenv pushed a commit to algolia/instantsearch that referenced this pull request Dec 28, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants