On Tue, May 14, 2019 at 09:08:28AM +0100, Richard Sandiford wrote: > > 2019-05-13 Przemyslaw Wirkus <przemyslaw.wir...@arm.com\>
What is that backslash in \> doing in the ChangeLog entries? Jakub
On Tue, May 14, 2019 at 09:08:28AM +0100, Richard Sandiford wrote: > > 2019-05-13 Przemyslaw Wirkus <przemyslaw.wir...@arm.com\>
What is that backslash in \> doing in the ChangeLog entries? Jakub