PR #4833 server : try to fix infill when prompt is empty

server : try to fix infill when prompt is empty #4833

ggerganov merged 1 commit into master from gg/server-infill-empty-prompt-4027

server : try to fix infill when prompt is empty

24096933

ggerganov added need feedback

ggerganov merged 1d118386 into master 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

need feedback

Milestone

No milestone