[Bug-wget] Current wget release

[Dale R. Worley]

Are the following two commits that I submitted in the current release?
I can't see any signs of them, even though I've gone through the
paperwork and they seemed to be accepted.

commit de020df92a797aa1b9ad339bb8a01df872ef4f23
Author: Dale R. Worley <address@hidden>
Date:   Wed Nov 2 12:14:46 2016 -0400

    Improve documentation of --trust-server-names.

commit 98c8d987b1be3e8924dee87e4e78e1e4f2b2eb9e
Author: Dale R. Worley <address@hidden>
Date:   Sun Oct 16 14:44:15 2016 -0400

    Amend redirection behavior

    * doc/wget.text: Update documentation.  Fix errors and omissions.
    * src/convert.h (struct urlpos): Add link_redirect_p flag to struct urlpos 
to
      indicate the URL resulted from a redirection.
    * src/recur.c (download_child): Suppress --no-parent check for redirection
      URLs.
    * src/recur.c (download_child): Suppress directory checks for redirection
      URLs and page requisites (if -p).
    * src/recur.c (descend_redirect): Set link_redirect_p flag on struct urlpos
      for redirection URLs.  Remove old test for suppressing directory checks 
for
      redirection URLs.

Dale