Fix #4076: Update end exploration (within collection) headers to better illustrate that the user should return to the collection#4130
Merged
BenHenning merged 10 commits intodevelopfrom update-end-exp-collection-headerDec 4, 2017
+187-77
Commits
Commits on Dec 1, 2017
- committed
- committed
- committed
- committed
