Glenn Johnson c01730e33b r-rmariadb: remove no longer needed patch (#24171) ... Since PR #22873 was merged, the configure patch for r-rmariadb is no longer needed. Also added comment regarding configure arguments.		2021-06-07 17:08:43 +02:00
..
spack	r-rmariadb: remove no longer needed patch (#24171)	2021-06-07 17:08:43 +02:00