Merge branch 'maint' of git-server:otp into maint
Add spec for gen_server:terminate/6,7

This is to prevent dialyzer warning "no local return".
ssh: Gracefully handle bad input
Clean up temporary dtrace file during config

When configuring erts to support dynamic trace via dtrace, be sure to clean
up the temporary file "erts/foo-dtrace.h" used to help check for dtrace
support. Otherwise, it shows up as an untracked file in git.
Merge branch 'siri/gen_server/try-catch/OTP-12263' into maint

* siri/gen_server/try-catch/OTP-12263:
  Add spec for gen_server:terminate/6,7
eldap: Fix timeout missing in ssl:connect
Merge branch 'maint'
Merge branch 'hans/eldap/timout_connect/OTP-12311' into maint

* hans/eldap/timout_connect/OTP-12311:
  eldap: Fix timeout missing in ssl:connect
Merge branch 'maint'

* maint:
  eldap: Fix timeout missing in ssl:connect
Merge branch 'ia/ssh/gracefull-termination/OTP-12185' into maint

* ia/ssh/gracefull-termination/OTP-12185:
  ssh: Gracefully handle bad input
Merge branch 'maint'
Merge branch 'vinoski/rm-foo-dtrace' into maint

* vinoski/rm-foo-dtrace:
  Clean up temporary dtrace file during config
Merge branch 'maint'