markCtor looks like it's still being used by others. let's fix those before deleting it. (otherwise, cutting a new release becomes complicated)
https://codereview.appspot.com/8785043/ ----- You received this message because you are subscribed to the Google Groups "Google Caja Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
