title: Jenkins pipeline emailext emailextrecipients: Can I also add specific, individual email address?
body: <p>In Jenkins pipeline I'm using <strong>email-ext</strong> with <code>emailextrecipients</code> as follows:</p>
  <pre><code>emailext(
      subject: email_subject, 
      mimetype: 'text/html', 
      to: emailextrecipients([[$class: 'CulpritsRecipientProvider'], [$class: 'RequesterRecipientProvider']]), 
      body: email_body
  )
  </code></pre>
  <p>And I want to add a specific email address, e.g. admin@myshop.com, to the list generated using <code>emailextrecipients</code>. I want that addressee (me or a manager or admin) to always get the email, but the addressee might be a culprit or requester and I don't want emailext to send two emails to that addressee.</p>
  <p>Is there a way to merge 'admin@myshop.com' with <code>emailextrecipients</code>?</p>