Subject: Re: bug#22817: 25.0.91; [PATCH] Include versioned preloaded libraries in `package--builtin-versions'

From: Stefan Monnier <[email-masked]>
Date: Tue, 12 Jul 2016 12:16:25 -0400

> I think we can simply drop the version info in `package--builtins' /
> `package--bi-desc' so as to eliminate duplicated info and prevent
> future confusion.  Also the variables are only used in a few places so
> it'd be easy to make the change.

I'm not completely sure the end result will be simpler/cleaner, but
I guess it's worth a try.

        Stefan