tree 78eb0aba62e4a608eedbc9900bb522e8a17f75c2
parent 813275f856ba3c346c6b3518c3a4947e98f31d43
author Nicola Ferraro <ni.ferraro@gmail.com> 1594974679 +0200
committer Antonin Stefanutti <astefanutti@users.noreply.github.com> 1594979036 +0200

Fix #1599: generate good trait doc