Send emails for merged PR

Merge remote-tracking branch 'upstream-gccrs/master' into gerris/reba… #103

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
send_patches	1m 2s
	1m 2s