Michael Kamensky b8147a2e58 Merge branch 'master' into 'master' ...

use multi-select for dig

Closes #799

See merge request core-developers/forge!1296

2019-01-21 14:47:08 +00:00

..

main

Merge branch 'master' into 'master'

2019-01-21 14:47:08 +00:00

site/apt

update release plugin. Update site urls for new maven structure.

2013-11-14 17:08:54 +00:00