Hairpin flared + circled-tip won't work together.

[Karim Haddad]

Hello list,

I hope this issue is not reported. If it is sorry to post it again :

in this example :

\version "2.19.25"

{
\override Hairpin.stencil = #flared-hairpin
\override Hairpin #'circled-tip = ##t

c'4 \< c'2 c'4 \!
|
\revert Hairpin.stencil
c'4 \< c'2 c'4 \!
|

}

if flared-hairpin and circled-tip are used together, the circled-tip won't
appear. It is also the case in the stable version 2.18

Best
K