May patches are merged (r37) Posted on May 13, 2019May 13, 2019 by NoSpamDan All is well in security-updates land… 😀