Proposed resolution (November, 2009):

Change 13.9.4 [temp.expl.spec] paragraph 14 as follows:

An explicit specialization of a function template is inline only if it is explicitly declared to be with the inline specifier or defined as deleted, and independently of whether its function template is inline. [Example:...