Activity

1. mre commented on Jun 18, 2020

   

   mre

   on Jun 18, 2020 – with utterances

   Member

   More actions

   clippy is probably one of my favorite tools in the entire Rust ecosystem. It's so helpful to get hints on how to make code even more idiomatic on top of what the (already supportive) compiler provides.
   Thanks for that!
2. mre

   added

   documentationImprovements or additions to documentationImprovements or additions to documentation

   and removed

   documentationImprovements or additions to documentationImprovements or additions to documentation

   on Feb 21, 2023
3. analysis-tools-dev

   locked and limited conversation to collaborators on Feb 21, 2023
4. mre

   converted this issue into a discussion #14 on Feb 21, 2023