[PATCH 1 of 2] extensions: fix a debug message when searching for extensions

[Yuya Nishihara]

On Fri, 30 Sep 2016 00:41:02 +0200, Pierre-Yves David wrote:
> # HG changeset patch
> # User Pierre-Yves David <pierre-yves.david at ens-lyon.org>
> # Date 1475187915 -7200
> #      Fri Sep 30 00:25:15 2016 +0200
> # Node ID 3be12e323bde3e199c72b10e101487bc7957fdfd
> # Parent  ff17dff99295e0781b3f147da2c5e5b14d3436e4
> # EXP-Topic extensions.debug
> extensions: fix a debug message when searching for extensions

Looks good, queued these, thanks.