|
From: Julian S. <se...@so...> - 2018-07-25 04:55:21
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=e3033e8908a4434c49b666ee0ef1e9acb0d2e2de commit e3033e8908a4434c49b666ee0ef1e9acb0d2e2de Author: Julian Seward <js...@ac...> Date: Wed Jul 25 06:54:59 2018 +0200 Add 3_13_BUGSTATUS.txt to EXTRA_DIST. Diff: --- docs/Makefile.am | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/Makefile.am b/docs/Makefile.am index 81e644c..e848b78 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -32,6 +32,7 @@ EXTRA_DIST = \ internals/3_10_BUGSTATUS.txt \ internals/3_11_BUGSTATUS.txt \ internals/3_12_BUGSTATUS.txt \ + internals/3_13_BUGSTATUS.txt \ internals/MERGE_3_10_1.txt \ internals/arm_thumb_notes_gdbserver.txt \ internals/avx-notes.txt \ |