Select the types of activity you want to include in your feed.
Merge pull request #153 from kit-ty-kate/ocaml-4.08
Remove the useless dependency on stdlib-shims
authored by Jean-Christophe Filliatre and committed by GitHub 1 year ago 1b052ff2 642fbbe5