Did anyone press a button on Launchpad to update the status for this branch, or did Launchpad discover automatically that the branch was merged?
-- Anders
--- Begin Message ---The proposal to merge lp:~massing/dolfin/nitsche_branch into lp:dolfin has been updated. Status: Needs review => Merged -- https://code.launchpad.net/~massing/dolfin/nitsche_branch/+merge/23096 Your team DOLFIN Core Team is subscribed to branch lp:dolfin.
--- End Message ---
signature.asc
Description: Digital signature
_______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
