On 04/08/16 21:36 +0300, Gleb Natapov wrote:
On Thu, Aug 04, 2016 at 07:01:45PM +0100, Jonathan Wakely wrote:The Doxygen group that starts with @{ ends later in this file, but you haven't moved the corresponding @} to the new file.I can take care of fixing that up though (we want the contents of the new file and this one to all be in the group).Leave it as is in the next submission? I am not too familiar with Doxygen.
Yes, feel free to leave it. I'll fix it later.
