From cc38ad50c07d4de26c47e3fe19eecfb399161528 Mon Sep 17 00:00:00 2001
From: kennytm <kennytm@gmail.com>
Date: Fri, 9 Feb 2018 19:41:05 +0800
Subject: [PATCH] Workaround google/pulldown-cmark#124 which has broken
 rendering of #1990.

---
 text/1990-external-doc-attribute.md | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/text/1990-external-doc-attribute.md b/text/1990-external-doc-attribute.md
index aefda1b938b..dac9b1dfffa 100644
--- a/text/1990-external-doc-attribute.md
+++ b/text/1990-external-doc-attribute.md
@@ -1,12 +1,12 @@
 <!---
-Copyright 2017 The Rust Project Developers. See the COPYRIGHT
-file at the top-level directory of this distribution.
-
-Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
-http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
-<LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
-option. This file may not be copied, modified, or distributed
-except according to those terms.
+-- Copyright 2017 The Rust Project Developers. See the COPYRIGHT
+-- file at the top-level directory of this distribution.
+--
+-- Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+-- http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+-- <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+-- option. This file may not be copied, modified, or distributed
+-- except according to those terms.
 -->
 
 - Feature Name: external_doc