What happened to 'make missing'?

[Warren Block]

On Tue, 16 Aug 2016, Mathieu Arnold wrote:

>
>
> +--On 15 août 2016 20:35:56 -0600 Warren Block <wblock at wonkity.com> wrote:
> | On Mon, 15 Aug 2016, Mathieu Arnold wrote:
> |
> |> Something changed, at one point, make missing used to work right.
> |>
> |> Could you open a PR with all that information, so that it doesn't get
> |> lost ?
> |
> | I reviewed https://reviews.freebsd.org/D7504, which seems to work.  Can
> | still enter a PR if you like.
>
> No, no need, the PR was so that I don't forget, but then, I remembered,
> hey, you're at the devsummit, do some work now :-)

Unfortunately, not at this devsummit.  But still glad to see 'make 
missing' work again!