You are right. I checked and this is the reason why I asked the question here. 
Release 1.4.8 is recent, so I was surprised that it exists a difference with 
the development version.

To better understand, I checked and found that the commit has been done on 
January 2. So, I suppose that the documentation will be updated in next major 
version, but is not updated in minor ones.

Reply via email to