On Thu, May 04, 2023 at 12:33:57PM +0200, Juan Quintela wrote: > I forgot to move it when I rename it from duplicated_pages. > > Signed-off-by: Juan Quintela <quint...@redhat.com>
Reviewed-by: Peter Xu <pet...@redhat.com> -- Peter Xu
On Thu, May 04, 2023 at 12:33:57PM +0200, Juan Quintela wrote: > I forgot to move it when I rename it from duplicated_pages. > > Signed-off-by: Juan Quintela <quint...@redhat.com>
Reviewed-by: Peter Xu <pet...@redhat.com> -- Peter Xu