Merge pull request #2530 from martin-frbg/dynmsg
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Tue, 24 Mar 2020 14:44:46 +0000 (15:44 +0100)
committerGitHub <noreply@github.com>
Tue, 24 Mar 2020 14:44:46 +0000 (15:44 +0100)
commitb6a948fbee9688d6bc3eb31a10f95895d4d97491
tree22cbd022afaa9c0abb4fbd72ddb1aea8db76a73b
parent0cc352417e439015f3f222ec25b00e5e8e3576fd
parentfe47dc8673fd9e6933128fa6f4218fd0327d3522
Merge pull request #2530 from martin-frbg/dynmsg

Add message highlighting minimum target choice at end of DYNAMIC_ARCH…