On 2018/07/25 09:53, Bryan Vyhmeister wrote: > On Wed, Jul 25, 2018 at 04:05:47PM +0100, Stuart Henderson wrote: > > > This should probably have the "# uses pledge()", no? > > > > With the current policy, yes. > > > > Though I think at this point the API has crystallised enough that we > > shouldn't need to find them so quickly, and could probably get rid of > > the annotations .. > > So I take this to mean it should be added for now and possibly removed > some time in the future? I added "# uses pledge()" to the diff in my > other email per this understanding. Thank you. > > Bryan >
yep.
