Mike Dubman

Results 5 comments of Mike Dubman

> @yosefe since it is publicity available and already used by external project we cannot state "API not guaranteed to be stable" without hurting project reputation (we learned it hard...

> @mike-dubman For binary distribution autotools is not going to help. There are other projects using UCT. Once the header installed the cats are out of bag. We have the...

> @mike-dubman current status quo for UCT - we can extend it but we don't break API. There is no change in existing policy. In this particular case benefits for...

@gibiansky - what performance or else benefit do you observe with this feature? Thanks

@fintler - please consider to apply