Manishearth/triomphe

Replace nodrop with ManuallyDrop

CAD97 opened this issue · 0 comments

CAD97 commented

... as nodrop is deprecated and ManuallyDrop is the zero-cost way of achieving its goal now.