Merge branch 'micro' into minor

* micro:
  dist: fix bug#18286 "distcheck fails to detect missing files"
  tests: expose automake bug#18286 "distcheck fails to detect missing files"
  include: fix bug in handling of user-defined makefile fragments generation
  tests: expose bug in handling of user-defined makefile fragments generation

diff --cc NEWS
Simple merge

diff --cc THANKS
Simple merge

diff --cc lib/am/configure.am
Simple merge

diff --cc lib/am/distdir.am
Simple merge

diff --cc t/list-of-tests.mk
Simple merge