diff options
author | Michael Paquier <michael@paquier.xyz> | 2019-07-24 16:02:28 +0900 |
---|---|---|
committer | Michael Paquier <michael@paquier.xyz> | 2019-07-24 16:02:28 +0900 |
commit | 2315a261de159e843cf970714ddd6042a9a8a23f (patch) | |
tree | e59a646f643444e339cb208c844ad3e1b2e77266 /src | |
parent | 4a25ed16400c01fb64c23d2d6f413af95b4e28f8 (diff) |
Fix build of documentation
Oversight in 1c42346, which has incorrectly shaped a <xref> markup.
Only v10 and v9.6 got broken.
Reported-by: Stefan Kaltenbrunner
Discussion: https://postgr.es/m/675cde90-a8dc-faeb-4701-d35a89ee06a2@kaltenbrunner.cc
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions