Michał Kępień 591310ce35 Prevent splitting GitLab identifiers across lines ...

GitLab issue and merge request numbers placed in release notes (in the
form of "#1234" for issues and "!5678" for merge requests) should not be
split across two lines.  Extend the shell pipeline generating
doc/arm/notes.txt with a sed invocation which prevents such splitting.

(cherry picked from commit 2d00143ab1)

2020-01-03 09:08:09 +01:00

..

arm

Prevent splitting GitLab identifiers across lines

2020-01-03 09:08:09 +01:00

design

Add documentation

2019-04-19 08:45:12 +02:00

dev

Simple text files with docs on build or design don't really need copyright on their own

2019-04-18 08:59:43 +02:00

doxygen

Remove $Id markers, Principal Author and Reviewed tags from the full source tree

2018-05-11 14:25:15 +02:00

draft

[master] updated published drafts

2014-02-14 08:53:06 -08:00

expired

…

misc

Add new siphash24 DNS Cookie algorithm

2019-07-22 09:06:03 -04:00

rfc

sync

2017-08-01 01:09:50 +00:00

tex

Tweak paragraph style in release notes PDF

2019-06-07 08:37:39 +02:00

xsl

Remove $Id markers, Principal Author and Reviewed tags from the full source tree

2018-05-11 14:25:15 +02:00

Makefile.in

update file headers to remove copyright years

2018-03-14 16:40:20 -07:00