On 6/25/18 4:13 PM, David Holmes wrote:
There might be a chicken-and-egg problem here, since --release needs to be appropriately updated as well. -source and -target are simpler and more likely to be easy to update.And should these be using --release instead of -source + -target?
-- Jon