Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
You have to do a 'make proper' or 'make pure' if you just pulled new commits and not cloned a fresh copy. For more assistance, write to sr-users mailing list.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.