2019-12-18  Javier Miranda  <miranda@adacore.com>

gcc/ada/

	* debug.adb: Document -gnatd_K as a reserved switch for the
	detection of known problem issues of previous releases.

From-SVN: r279510