Federico Beffa (2015-07-18 12:16 +0300) wrote: > Alex Kost <alez...@gmail.com> writes: > >> ... If people agree on this, >> what about the attached patch? > > Does it install the documentation info file? If so, just push it.
Yes, the info is installed. Pushed, thanks. -- Alex
