[tarantool-patches] Re: [PATCH 1/5] third_party/serpent: Add serpent repo

[Cyrill Gorcunov]

On Wed, Jul 24, 2019 at 08:02:02PM +0300, Konstantin Osipov wrote:
> 
> One more thing, for the future: all patches which add new features
> should have a plea to the documentation bot.
> 
> I added one for your changes.

Thank you! I know about docs simply:
 - didn't know how to address particular page (since this
   changes should be in console module of documenation, right?)
 - and I thought that I should rathe make a final doc once I
   finish console development