The setting manager part you pushed yesterday, that got merged - so if you pull the branch then you get the finished article - when my bits get merged - you'd need to pull again - then you'd have the most up to date version of setting manager.
What you have hanging around for that now isn't needed at all.
That sounds right to me.
The setting manager part you pushed yesterday, that got merged - so if you pull the branch then you get the finished article - when my bits get merged - you'd need to pull again - then you'd have the most up to date version of setting manager.
What you have hanging around for that now isn't needed at all.