tree 89014188d9bdf3a8f653bd08dda1e320170e10c8
parent 28bf3a84e0cafef0d00b8206d3533a54040fc06c
author gwenn <gtreguier@gmail.com> 1520680985 +0100
committer gwenn <gtreguier@gmail.com> 1520680985 +0100

Fix visibility of Refresher trait